A typed pattern calculus
type: Item
instance of: scholarly article
title: A typed pattern calculus
zbMATH Open document ID: 0844.68021
author: Delia Kesner
author: Laurence Puel
author: Val Tannen
published in: Information and Computation
publication date: 1996-03-27T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 847835
zbMATH Keywords: pattern-matching function
MaRDI profile type: Publication
OpenAlex ID: W2145044561
DOI: 10.1006/INCO.1996.0004
Recommended article: A typed context calculus
Recommended article: Q4703039
Recommended article: Pure patterns type systems
Recommended article: Q3025159
Recommended article: Q5015103
Recommended article: Programming Languages and Systems
Recommended article: A concurrent pattern calculus
Recommended article: Type-safe pattern combinators
Recommended article: Relational and Kleene-Algebraic Methods in Computer Science
Recommended article: Q3142165
description: scientific article; zbMATH DE number 847835