Modelling environments in call-by-value programming languages

Paul Blain Levy, John Power, Hayo Thielecke

Research output: Contribution to journalArticlepeer-review

100 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Modelling environments in call-by-value programming languages'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science