Pattern matching

Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Traits provide a powerful mechanism for code reuse by allowing the definition of shared behaviors that can be composed into classes. …
Cite
Programming with Composable Recursive Patterns and Transformations
Data processing using traditional pattern matching syntax and direct recursive functions is straightforward to write but inherently …
Cite
The Ultimate Conditional Syntax
Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and …
PDF Cite Video DOI Tech. Report PDF View on conference website
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, …
PDF Cite Video DOI Github Project Tech. Report PDF View on conference website