Characterizing Functions Mappable over GADTs
No abstract available.
DOI 10.1007/978-3-031-21037-2_7
Related papers
- Dualizing Generalized Algebraic Data Types by Matrix Transposition ESOP 2018
- GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness ICFP 2015
- Ghostbuster: a tool for simplifying and converting GADTs ICFP 2016
- Ghostbuster: A tool for simplifying and converting GADTs JFP 2018
- Foundations for structured programming with GADTs POPL 2008
- Dynamic optimization for functional reactive programming using generalized algebraic data types ICFP 2005
- Parametricity, type equality, and higher-order polymorphism JFP 2010
- Generalized algebraic data types and object-oriented programming OOPSLA 2005