A call-by-name lambda-calculus machine
Résumé
A simple lazy machine which runs programs written in lambda-calculus. It was introduced by the author in 1985. It has been, since, used and implemented by several authors but remained unpublished. It will appear soon in a special issue of Higher Order and Symbolic Computation.
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...