How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger.Published in:Journal of Functional Programming, 2001, v. 11, n. 6, p. 629, doi. 10.1017/S095679680100418XBy:NILSSON, HENRIKPublication type:Article
Normalization by evaluation with typed abstract syntax.Published in:Journal of Functional Programming, 2001, v. 11, n. 6, p. 673, doi. 10.1017/S0956796801004166By:DANVY, OLIVIER;RHIGER, MORTEN;ROSE, KRISTOFFER H.Publication type:Article
Monadic encapsulation of effects: a revised approach (extended version).Published in:Journal of Functional Programming, 2001, v. 11, n. 6, p. 591, doi. 10.1017/S0956796801004154By:MOGGI, E.;SABRY, AMRPublication type:Article