Forskning ved Københavns Universitet - Københavns Universitet

Forside

A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  • Carsten Krogh Gomard
OriginalsprogEngelsk
TidsskriftACM Transactions on Programming Languages and Systems
ISSN0164-0925
StatusUdgivet - 1992

ID: 295491