A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

    OriginalsprogEngelsk
    BogserieB R I C S Report Series
    NummerRS-04-3
    Antal sider17
    ISSN0909-0878
    StatusUdgivet - 2004

    Citationsformater