Value Types for Java – A sketch of proposed enhancementscr.openjdk.java.net121 pointspjmlp12 years ago