Type-safe code transformations in Haskell

DOI10.1016/J.ENTCS.2006.10.036MaRDI QIDQ2866331zbMATH OpenOpenAlexFDO

Authors Louis-Julien Guillemette, Stefan Monnier

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

zbMATH Keywords

compilationtype systemsprogram verificationhigher-order abstract syntax

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18)

Recommendations

• Programming type-safe transformations using higher-order abstract syntax
• Programming type-safe transformations using higher-order abstract syntax
• A type-preserving compiler in Haskell
• scientific article; zbMATH DE number 1231621
• A transformation-based optimiser for Haskell

Cites work

• scientific article; zbMATH DE number 1629944 (Why is no real title available?)
• scientific article; zbMATH DE number 5033864 (Why is no real title available?)
• A syntactic approach to foundational proof-carrying code
• A type system for certified binaries
• Associated types with class
• Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
• Flexible representation analysis
• Formal certification of a compiler back-end or: programming a compiler with a proof assistant
• Guarded recursive datatype constructors
• Meta-programming with built-in type equality
• Programming in Ωmega
• Representing Control: a Study of the CPS Transformation
• Type checking with open type functions

Cited in

(4)

• scientific article; zbMATH DE number 5033864 (Why is no real title available?)
• A type-preserving compiler in Haskell
• Programming type-safe transformations using higher-order abstract syntax
• Programming type-safe transformations using higher-order abstract syntax

Describes a project that uses

Uses Software

• TALx86
• TIL
• Haskell

This page was built for publication: Type-safe code transformations in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2866331)