Supercompilation for Datatypes

DOI10.1007/978-3-662-46823-4_19zbMath1434.68097OpenAlexW774757328MaRDI QIDQ3455073

Torben Ægidius Mogensen

Publication date: 3 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_19

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

This page was built for publication: Supercompilation for Datatypes