Kwanghoon Choi Hyun-il Lim Taisook Han Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. 92-107 2001 conf/flops/2001 FLOPS http://link.springer.de/link/service/series/0558/bibs/2024/20240092.htm db/conf/flops/flops2001.html#ChoiLH01