ML with First-Class Environments and its Type Inference Algorithm.

Shin-ya Nishizaki ML with First-Class Environments and its Type Inference Algorithm. 95-116 1994 conf/birthday/1994takasu Logic, Language and Computation db/conf/birthday/takasu94.html#Nishizaki94