Type-safe code transformations in Haskell

DOI10.1016/J.ENTCS.2006.10.036zbMATH Open1277.68049OpenAlexW2026691974MaRDI QIDQ2866331FDOQ2866331

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• A type-preserving compiler in Haskell
• Programming type-safe transformations using higher-order abstract syntax

Uses Software

• Haskell
• TIL
• TALx86

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)