Type-Safe Code Transformations in Haskell
From MaRDI portal
Publication:2866331
DOI10.1016/j.entcs.2006.10.036zbMath1277.68049MaRDI QIDQ2866331
Stefan Monnier, Louis-Julien Guillemette
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.036
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A syntactic approach to foundational proof-carrying code
- Meta-programming With Built-in Type Equality
- Guarded recursive datatype constructors
- Programming in Ωmega
- Representing Control: a Study of the CPS Transformation
- Type checking with open type functions
- A type system for certified binaries
- Boxes go bananas
- Associated types with class
- Flexible representation analysis
- Formal certification of a compiler back-end or