1. Grail: a functional form for imperative mobile code;Beringer;Electronic Notes in Theoretical Computer Science,2003
2. A type system for bounded space and functional in-place update;Hofmann;Nordic Journal of Computing,2000
3. Martin Hofmann and Steffen Jost. Static prediction of heap space usage for first-order functional programs. In Proc. 30th ACM Symp. on Principles of Programming Languages, 2003
4. Christopher League, Valery Trifonov, and Zhong Shao. Functional Java bytecode. In Proc. 5th World Conf. on Systemics, Cybernetics, and Informatics, July 2001. Workshop on Intermediate Representation Engineering for the Java Virtual Machine