Calculating correct compilers
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Calculating correct compilers. / Bahr, Patrick; Hutton, Graham.
In: Journal of Functional Programming, Vol. 25, e14, 2015.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Bahr, P & Hutton, G 2015, 'Calculating correct compilers', Journal of Functional Programming, vol. 25, e14. https://doi.org/10.1017/S0956796815000180
APA
Bahr, P., & Hutton, G. (2015). Calculating correct compilers. Journal of Functional Programming, 25, [e14]. https://doi.org/10.1017/S0956796815000180
Vancouver
Bahr P, Hutton G. Calculating correct compilers. Journal of Functional Programming. 2015;25. e14. https://doi.org/10.1017/S0956796815000180
Author
Bibtex
@article{90161e712cb644519801ad6fc45805da,
title = "Calculating correct compilers",
author = "Patrick Bahr and Graham Hutton",
year = "2015",
doi = "10.1017/S0956796815000180",
language = "English",
volume = "25",
journal = "Journal of Functional Programming",
issn = "0956-7968",
publisher = "Cambridge University Press",
}
RIS
TY - JOUR
T1 - Calculating correct compilers
AU - Bahr, Patrick
AU - Hutton, Graham
PY - 2015
Y1 - 2015
U2 - 10.1017/S0956796815000180
DO - 10.1017/S0956796815000180
M3 - Journal article
VL - 25
JO - Journal of Functional Programming
JF - Journal of Functional Programming
SN - 0956-7968
M1 - e14
ER -
ID: 156028982