On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (1993)

by Andrew Pitts , Ian Stark
Venue:IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP
Citations:131 - 14 self