2643 search results - page 45 / 529 » Higher order messaging |
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
ICTCS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
IWANN
2005
Springer
14 years 4 months ago
2005
Springer
RTA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...