Sciweavers

ICFP
2003
ACM

Explicit substitutions and higher-order syntax

14 years 11 months ago
Explicit substitutions and higher-order syntax
Neil Ghani, Tarmo Uustalu
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2003
Where ICFP
Authors Neil Ghani, Tarmo Uustalu
Comments (0)