Intrinsically-Typed Definitional Interpreters for Imperative Languages

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

Research output: Contribution to journalArticleScientificpeer-review

351 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Intrinsically-Typed Definitional Interpreters for Imperative Languages'. Together they form a unique fingerprint.

INIS

Computer Science