A typed pattern calculus
From MaRDI portal
Publication:1908354
DOI10.1006/INCO.1996.0004zbMATH Open0844.68021OpenAlexW2145044561MaRDI QIDQ1908354FDOQ1908354
Authors: Delia Kesner, Laurence Puel, Val Tannen 
Publication date: 27 March 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/2368d236374d5333983df34d8b5954e496e38f1d
Recommendations
- A typed context calculus
- scientific article; zbMATH DE number 1377610
- Pure patterns type systems
- scientific article; zbMATH DE number 2186938
- Star types: a type system for pattern calculus
- Programming Languages and Systems
- A concurrent pattern calculus
- Type-safe pattern combinators
- Relational and Kleene-Algebraic Methods in Computer Science
- scientific article; zbMATH DE number 445158
Cited In (20)
- Confluence of Pattern-Based Calculi
- Warnings for pattern matching
- Bimonadic Semantics for Basic Pattern Matching Calculi
- Intermediate representation of programs with type specification based on pattern matching
- Function definition in higher-order logic
- Expression reduction systems with patterns
- The view from the left
- Star types: a type system for pattern calculus
- Typed path polymorphism
- First-class patterns
- Pattern Calculus
- Strong normalisation in two Pure Pattern Type Systems
- Pattern matching as cut elimination
- Rewriting calculus with(out) types
- Pure patterns type systems
- Recursive Functions with Pattern Matching in Interaction Nets
- From functional programs to interaction nets via the rewriting calculus
- Focusing on pattern matching
- Title not available (Why is that?)
- Pattern-based calculi with finitary matching
This page was built for publication: A typed pattern calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908354)
