Bee: an integrated development environment for the Scheme programming language.Published in:Journal of Functional Programming, 2000, v. 10, n. 4, p. 353, doi. 10.1017/s0956796800003725By:SERRANO, MANUELPublication type:Article
Generalizing generalized tries.Published in:Journal of Functional Programming, 2000, v. 10, n. 4, p. 327, doi. 10.1017/s0956796800003713By:HINZE, RALFPublication type:Article
The »se-calculus does not preserve strong normalisation.Published in:Journal of Functional Programming, 2000, v. 10, n. 4, p. 321, doi. 10.1017/s0956796800003695By:GUILLAUME, BRUNOPublication type:Article