Calculating correct compilers

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  • Patrick Bahr
  • Graham Hutton
OriginalsprogEngelsk
Artikelnummere14
TidsskriftJournal of Functional Programming
Vol/bind25
Antal sider47
ISSN0956-7968
DOI
StatusUdgivet - 2015

ID: 156028982