Showing results 1 to 4 of 4
A Practical Implementation of Root Optimization in G-machine Choi, Kwanghoon; Han, Taisook, 10th International Workshop on Implementation of Functional Languages, pp.117 - 133, 1998 |
A Type System For the Push-Enter Model Choi, Kwanghoon; Han, Taisook, The Second Asian Workshop on Programming Languages And Systems, pp.13 - 27, 2001 |
A type system for the push-enter model Choi, Kwanghoon; Han, Taisook, INFORMATION PROCESSING LETTERS, v.87, no.4, pp.205 - 211, 2003-08 |
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine Choi, Kwanghoon; Lim, HI; Han, Taisook, 5th International Symposium, Funcional and Logic Programming 2001, pp.92 - 107, 5th International Symposium, Funcional and Logic Programming 2001, 2001-03-01 |
Discover