5415 search results - page 16 / 1083 » The Implementation of Functional Programming Languages |
IGPL
2000
14 years 9 months ago
2000
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...
63
Voted
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE