Searching for "A Typed Pattern Calculus." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Typed Pattern Calculus
- …A Typed Pattern Calculus Delia Kesner Laurence Puel Val Tannen z Abstract The theory…
- Cited by 47 (11 self) – Add To MetaCart
-
Multi-polymorphic programming in bondi (extended version)
- … four polymorphic programming styles within a small core of computation, namely a typed pattern calculus…
- Add To MetaCart
-
Pattern Matching as Cut Elimination
- … In this paper we propose a Typed Pattern Calculus with Explicit Subsitutions, called TPCES , where both…
- Cited by 6 (1 self) – Add To MetaCart
-
The simply-typed pure pattern type system ensures strong normalization
- … expressions with dependent types (Coquand, 1992), a typed pattern calculus (Kesner et al., 1996) and calculi…
- Cited by 1 (1 self) – Add To MetaCart
-
Pattern Matching and Exception Handling for Bulk Synchronous Parallel ML
- … Cerrito and Delia Kesner CNRS and LRI In this paper, the authors present a Typed Pattern Calculus…
- Add To MetaCart
-
Association for Computing Machinery-SIGACT Association for Symbolic Logic European Association for Theoretical Computer Science
- … ................................................................................................... 252 J. Barwise and J, Seligm-an Session I: Lambda Calculus Chair: S. Abrameky A Typed Pattern Calculus…
- Add To MetaCart
-
A Curry-Howard Isomorphism for Compilation and Program Execution (Extended Abstract)
- … [1] has given a term calculus for linear logic. Breaze-Tannen et. al. [2] have given a typed pattern…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 7.
