JVMS draft for L-world value types with support for nullability

[Frederic Parain]

Here’s a draft of the JVMS proposing a way to implement the L-world value types,
with support for value-based classes migration to value classes (essentially, support
for nullability):

http://cr.openjdk.java.net/~fparain/L-world/L-World-JVMS-3.pdf

The assumptions and key properties are listed in Karen’s document:

http://cr.openjdk.java.net/~acorn/LWorldValueTypesjan31.pdf


Feedback and comments are welcome.

Fred