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

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

Document Versions

On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) –Andrew Pitts, Ian Stark — 1993 — IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP
On the Observable Properties of Higher Order Functions that Dynamically Create Local Names –Andrew Pitts, Ian Stark — 1993 — IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or: What's new? –Andrew M. Pitts, Ian D. B. Stark — 1993 — In Mathematical Foundations of Computer Science, Proc. 18th Int. Symp
Observable Properties of Higher Order Functions That Dynamically Create Local Names, or: What's new? –Andrew M. Pitts, Ian D. B. Stark — 1993 — IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP