Skip to content

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.

Andrew M. Pitts

VenueAICFP
Year2001
ProceedingsICFP

Browse the full ICFP paper archive.