Syntax for free: representing syntax with binding using parametricity (2009)

by Robert Atkey
Venue:In International Conference on Typed Lambda Calculi and Applications (TLCA