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 structuresprogramming languagelambda-calculuspolymorphismpattern calculus

Mathematics Subject Classification ID

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

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)

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

Describes a project that uses

Uses Software

• Scheme
• Tom
• Polyp

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)