Forskning ved Københavns Universitet - Københavns Universitet

Forside

A partial evaluator for the untyped Lambda-calculus

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  • Carsten Krogh Gomard
  • Neil D. Jones
Partiel evaluering
OriginalsprogEngelsk
TidsskriftJournal of Functional Programming
Udgave nummervo.1, nr.1
Sider (fra-til)21-69
ISSN0956-7968
StatusUdgivet - 1991

ID: 295928