Originalsprog | Engelsk |
---|---|
Tidsskrift | Second International Workshop on Types in Compilation |
Sider (fra-til) | 136-155 |
Status | Udgivet - 1998 |
Polymorphic Equality - No Tags Required, Lecture Notes in Computer Science, Vol. 1473
Martin Elsman
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning