KIT | KIT-Bibliothek | Impressum

Type Classes and Overloading Resolution via Order-Sorted Unification

Nipkow, Tobias; Snelting, Gregor



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1991
Sprache Englisch
Identifikator ISBN: 978-3-540-54396-1
ISSN: 0302-9743
KITopen ID: 1000017647
Erschienen in Functional Programming Languages and Computer Architecture - 5th ACM Conference Cambridge, MA, USA, August 2630, 1991. Proceedings. Ed.: J. Hughes
Verlag Springer, Berlin
Seiten 1 - 14
Serie Lecture Notes in Computer Science ; 523
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page