2932 search results - page 44 / 587 » Higher order mining |
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
107
click to vote
ICTCS
2005
Springer
15 years 5 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
15 years 5 months ago
2005
Springer
RTA
2005
Springer
15 years 5 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...
TLCA
2005
Springer
15 years 5 months ago
2005
Springer