From parametric polymorphism to models of polymorphic FPC

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Abstract



OriginalsprogEngelsk
TidsskriftMathematical Structures in Computer Science
Vol/bind19
Udgave nummer4
Sider (fra-til)639-686
ISSN0960-1295
StatusUdgivet - 2009

Citationsformater