An investigation of Jones optimality and BTI-universal specializers

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

OriginalsprogEngelsk
TidsskriftHigher-Order and Symbolic Computation
Vol/bind21
Udgave nummer3
Sider (fra-til)283-309
ISSN1388-3690
DOI
StatusUdgivet - 2008

ID: 6363173