CoreFun: A Typed Functional Reversible Core Language

Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'CoreFun: A Typed Functional Reversible Core Language'. Together they form a unique fingerprint.

Engineering & Materials Science