jamin@caldera.usc.edu (Sugih Jamin) (06/10/91)
Does anyone have an implementation of an evaluator for the lambda calculus in a fuctional programming language such as ML, i.e., to do beta conversion, etc? -- sugih` Use e-mail, save a tree.
kend@data.UUCP (Ken Dickey) (06/10/91)
jamin@caldera.usc.edu (Sugih Jamin) writes: >Does anyone have an implementation of an evaluator for the >lambda calculus in a fuctional programming language such as >ML, i.e., to do beta conversion, etc? There is a simple example in Gordon's _Programming Language Theory and its Implementation_ (Prentice Hall, 1988, ISBN 0-13-730417-X). Also, try posting this request to comp.lang.scheme--there is a ton of code out there. -Ken Dickey kend@data.uucp