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

by Robert Atkey
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:14 - 5 self