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

Kevin Donnelly Hongwei Xi Combining higher-order abstract syntax with first-order abstract syntax in ATS. 58-63 2005 MERLIN http://doi.acm.org/10.1145/1088454.1088462 conf/icfp/2005merlin db/conf/icfp/merlin2005.html#DonnellyX05