2643 search results - page 62 / 529 » Higher order messaging |
86
Voted
DLOG
2008
15 years 6 months ago
2008
162
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
137
click to vote
ESOP
2008
Springer
15 years 5 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...