A type-preserving compiler in Haskell
From MaRDI portal
Publication:5178757
DOI10.1145/1411204.1411218zbMath1323.68187OpenAlexW4246703569MaRDI QIDQ5178757
Louis-Julien Guillemette, Stefan Monnier
Publication date: 16 March 2015
Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1411204.1411218
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Uses Software
This page was built for publication: A type-preserving compiler in Haskell
