1686 search results - page 45 / 338 » Higher Order Deforestation |
118
Voted
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
150
Voted
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
152
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
128
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...