Calculating correct compilers

Patrick Bahr, Graham Hutton

6 Citationer (Scopus)

Originalsprog	Engelsk
Artikelnummer	e14
Tidsskrift	Journal of Functional Programming
Vol/bind	25
Antal sider	47
ISSN	0956-7968
DOI	https://doi.org/10.1017/s0956796815000180
Status	Udgivet - 9 feb. 2015

Adgang til dokumentet

@article{90161e712cb644519801ad6fc45805da,

title = "Calculating correct compilers",

author = "Patrick Bahr and Graham Hutton",

year = "2015",

month = feb,

day = "9",

doi = "10.1017/s0956796815000180",

language = "English",

volume = "25",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

}