Syntax For Free: Representing Syntax with Binding using Parametricity (2009)

by R Atkey
Venue:In Typed Lambda Calculi and Applications (TLCA