Relational parametricity for control considered as a computational effect

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogDansk
TidsskriftElectronical Notes in Theoretical Computer Science
Vol/bind173
ISSN1571-0661
StatusUdgivet - 2007

Citationsformater