Sciweavers

Share
POPL
2008
ACM

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

9 years 2 months ago
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
Brigitte Pientka
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where POPL
Authors Brigitte Pientka
Comments (0)
books