Tiered Attribution for javac – Java 9

In Java 8, the implementation of type-checking at compiler level was based on Speculative Attribution. In Speculative Attribution, the same tree can be type-checked against multiple targets at runtime. This is particularly used in target typing for lambda… Read more


Inner classes in Java

A primary challenge in Primitive is unifying the bytecode representation of a code base — the canonical representation of what will…...

Read more »