A typed pattern calculus
From MaRDI portal
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)- Warnings for pattern matching
- Confluence of Pattern-Based Calculi
- 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
- Typed path polymorphism
- Star types: a type system for pattern calculus
- 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
- From functional programs to interaction nets via the rewriting calculus
- Recursive Functions with Pattern Matching in Interaction Nets
- Focusing on pattern matching
- scientific article; zbMATH DE number 176135 (Why is no real title available?)
- 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)
