Wouter Swierstra (Radboud University Nijmegen) |
This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.76.10 | bibtex | |
Comments and questions to:
![]() |
For website issues:
![]() |