Compiling for template-based run-time code generation

DOI10.1017/S095679680200463XzbMath1036.68019OpenAlexW2157117208MaRDI QIDQ4408687

Dan Grossman, Greg Morrisett, Frederick Smith, Trevor Jim, Luke Hornof

Publication date: 2003

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

Full work available at URL: https://doi.org/10.1017/s095679680200463x

zbMATH Keywords

Cyclone

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• DyC
• Cyclone

This page was built for publication: Compiling for template-based run-time code generation