218 search results - page 2 / 44 » Types and trace effects of higher order programs |
POPL
1994
ACM
13 years 8 months ago
1994
ACM
ESOP
2009
Springer
13 years 8 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
ASIAN
2004
Springer
13 years 10 months ago
2004
Springer
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...