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
