3001 search results - page 5 / 601 » Recursive type generativity |
POPL
2005
ACM
14 years 9 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
TLCA
2001
Springer
14 years 1 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
ILP
2005
Springer
14 years 2 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...