Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

Andrew M. Pitts, Ian David Bede Stark

Browse the full MFCS paper archive.