Sciweavers

Share
ICFP
2005
ACM

Combining higher-order abstract syntax with first-order abstract syntax in ATS

10 years 1 months ago
Combining higher-order abstract syntax with first-order abstract syntax in ATS
Kevin Donnelly, Hongwei Xi
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2005
Where ICFP
Authors Kevin Donnelly, Hongwei Xi
Comments (0)
books