1. Kava: a Java dialect with a uniform object model for lightweight classes;Bacon;Concurr. Comput., Pract. Exp.,2003
2. An overview of the Scala programming language;Odersky,2006
3. PLT, Reference: Racket;Flatt,2010
4. Pycket: a tracing JIT for a functional language;Bauman,2015