Pattern Calculus

DOI10.1007/978-3-540-89185-7MaRDI QIDQ3629217zbMATH OpenOpenAlexFDO

Authors Barry Jay

Publication date 27 May 2009

Full work available at URL https://doi.org/10.1007/978-3-540-89185-7

zbMATH Keywords

data structureslambda-calculuspattern calculuspolymorphismprogramming language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Data structures (68P05) Searching and sorting (68P10)

Recommendations

• Programming Languages and Systems
• A typed pattern calculus
• First-class patterns
• Lambda calculus with patterns
• Star types: a type system for pattern calculus

Cited in

(16)

• Intensional computation with higher-order functions
• Programs as data structures in \(\lambda\)SF-calculus
• Type soundness for path polymorphism
• Self-quotation in a typed, intensional lambda-calculus
• Expressiveness of concurrent intensionality
• Pure pattern calculus à la de Bruijn
• Typed path polymorphism
• Continuation models for the lambda calculus with constructors
• On the expressiveness of symmetric communication
• First-class patterns
• Efficient type checking for path polymorphism
• Encoding the factorisation calculus
• Pattern-based calculi with finitary matching
• Conflicting accounts of \(\lambda\)-definability
• Programming Languages and Systems
• On abstract normalisation beyond neededness

Describes a project that uses

Uses Software

• Polyp
• Tom
• Scheme

This page was built for publication: Pattern Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3629217)