Towards type-directed compiler calculation

DOI10.1017/S0956796825100087MaRDI QIDQ6917830zbMATH OpenFDO

Authors Wouter Swierstra

Publication date 10 October 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Cites work

• scientific article; zbMATH DE number 7447767 (Why is no real title available?)
• scientific article; zbMATH DE number 7324353 (Why is no real title available?)
• A Rational Deconstruction of Landin’s SECD Machine
• Calculating correct compilers
• Clowns to the left of me, jokers to the right (pearl)
• Deriving Target Code as a Representation of Continuation Semantics
• From reduction-based to reduction-free normalization

This page was built for publication: Towards type-directed compiler calculation

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