Sciweavers

IFL   2004 International Workshop on Implementation of Functional Languages
Wall of Fame | Most Viewed IFL-2004 Paper
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
13 years 10 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source138
2Download preprint from source131
3Download preprint from source122
4Download preprint from source94
5Download preprint from source93
6Download preprint from source84
7Download preprint from source74
8Download preprint from source64