Type Classes and Overloading Resolution via Order-Sorted Unification
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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-Verlag |
| Seiten | 1 - 14 |
| Serie | Lecture Notes in Computer Science ; 523 |