A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
A fresh approach to representing syntax with static binders in functional programming
2001
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01
var | term term | λ var . term | let var = term in term | letrec var = term in term plus specification of how λ, let and letrec bind var s (as usual) ICFP 2001 -p.7 datatype term = Var of ν | term term | λ var . term | let var = term in term | letrec var = term in term plus specification of how λ, let and letrec bind var s (as usual) Var of ν | term term | λ var . term | let var = term in term | letrec var = term in term plus specification of how λ, let and letrec bind var s (as usual) ν is a
doi:10.1145/507635.507637
dblp:conf/icfp/Pitts01
fatcat:xhvl6kgrwrhofknwku4mekvz6y