Pure patterns type systems
Abstract
International audience
Related papers
- Pure Pattern Calculus ESOP 2006
- An Object-Oriented Framework of Pattern Recognition Systems OOPSLA 1988
- A syntactic type system for recursive modules OOPSLA 2011
- Nested Pure Operation-Based CRDTs ECOOP 2023
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- First-class patterns JFP 2009
- Domain-free pure type systems JFP 2000
- Expansion Postponement for Normalising Pure Type Systems JFP 1998