Conference Papers: Type Classes and Overloading Resolution via Order-Sorted Unification

[nipkow91fpca]

Tobias Nipkow, Gregor Snelting, Type Classes and Overloading Resolution via Order-Sorted Unification, 5th ACM Conference on Functional Programming Languages and Computer Architecture, pp. 1--14, Springer-Verlag, Cambridge, MA, USA, 1991.

Download

BibTeX

@inproceedings{nipkow91fpca,
  title = {Type Classes and Overloading Resolution via Order-Sorted Unification},
  booktitle = {5th ACM Conference on Functional Programming Languages and Computer
 Architecture},
  year = {1991},
  publisher = {Springer-Verlag},
  volume = {523},
  pages = {1--14},
  author = {Tobias Nipkow and Gregor Snelting},
  address = {Cambridge, MA, USA},
}

Authors at the institute

Department Head
Prof. Gregor Snelting