[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Hans Tonino and Joost Visser, "Stepwise Refinement of an Abstract State Machine for WHNF-Reduction of lambda-Terms". Report 96-154, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1996. |
---|---|
Summary: | A series of ASMs for finding the weak head normal form (WHNF) of an arbitrary term of the lambda-calculus is presented. |
Subjects: | (Other) Models of Computation |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |