type-classes.bib

@inproceedings{Odersky95,
	AUTHOR = {Martin Odersky and Philip Wadler and Martin Wehr},
	TITLE = {{A Second Look at Overloading}}, 
	BOOKTITLE = {Proceedings of the {ACM} Conference on Functional
		  Programming and Computer Architecture},
	YEAR = {1995},
        pages = {135--146},
	Annotating = {}
}
		  
@ARTICLE{Hall96,
	AUTHOR = {Cordelia Hall and Kevin Hammond and 
                  Simon Peyton Jones and Philip Wadler},
	TITLE = {{Type Classes in Haskell}}, 
	JOURNAL = {ACM Transactions on Programming Languages and Systems},
	YEAR = {1996},
        volume  = {18},
        number  = {2},
        pages   = {109--138},
        month   = Mar
}

@ARTICLE{Nipkow91,
	AUTHOR = {Tobias Nipkow and G.~Snelting},
	TITLE = {{Type classes and overload resolution via order-sorted unification}}, 
	JOURNAL = {Proc.~ACM Conf.~on Functional Programming and
		  Computer Architecture},
	YEAR = {1978},
	PAGES = {1--14},
	NOTE = {Springer LNCS 523}

}

@INPROCEEDINGS{Chen92,
	AUTHOR = {K.~Chen and Paul Hudak and Martin Odersky}, 
	TITLE = {{Parametric Type Classes}}, 
	BOOKTITLE = {Proc.~ACM Conf.~on Lisp and Functional
		  Programming},  
	YEAR = {1992},
	PAGES = {170--181},
	NOTE = {}

}

@ARTICLE{Nipkow93,
	AUTHOR = {T.~Nipkow and G.~Snelting}, 
	TITLE = {{Type checking  type classes}}, 
	JOURNAL = {Proc.~20th ACM Symp. on Principles of Programming Languages}, 
	YEAR = {1993},
	PAGES = {409--418},
	NOTE = {}

}
		  
@ARTICLE{Nipkow93a,
	AUTHOR = {Tobias Nipkow and Christian Prehofer}, 
	TITLE = {{Type Reconstruction for Type Classes}}, 
	JOURNAL = {Journal of Functional Programming}, 
	YEAR = {1993},
        NUMBER = 1, 
        VOLUME = 1, 
	PAGES = {1--100},
	NOTE = {}

}
		  
@ARTICLE{Augustsson93,
	AUTHOR = {L.~Augustsson}, 
	TITLE = {{Implementing Haskell overloading}}, 
	JOURNAL = {Proc.~ACM Conf.~on Functional Programming anf
		  Computer Architecture}, 
	YEAR = {1993},
	PAGES = {65--73},
	NOTE = {}

}
		  
@ARTICLE{Peterson93,
	AUTHOR = {J.~Peterson and M.~Jones}, 
	TITLE = {{Implementing type classes}}, 
	JOURNAL = {Proc.~ACM Conf.~on Programming Language Design and
		  Implementation}, 
	YEAR = {1993},
	PAGES = {227--236},
	NOTE = {SIGPLAN Notices 28(6)}

}
		  
@ARTICLE{MarkJones92,
	AUTHOR = {Mark Jones}, 
	TITLE = {{A theory of qualified types}}, 
	JOURNAL = {Proc.~of ESOP'92}, 
	YEAR = {1992},
	PAGES = {287--336},
	NOTE = {Springer LNCS 582}

}
		  
		  
@ARTICLE{MarkJones95,
	AUTHOR = {Mark Jones}, 
	TITLE = {{A system of constructor classes: overloading and
		  higher-order polymorphism}}, 
	JOURNAL = {Journal of Functional Programming}, 
	YEAR = {1995},
        VOLUME = {5}, 
        NUMBER = {1},
	PAGES = {1--36},
}

@INPROCEEDINGS{Simon-Mark97,
	AUTHOR = {Simon Peyton Jones and Mark Jones and Erik Meijer}, 
	TITLE = {{Type classes: an exploration of the design space}}, 
	JOURNAL = {ACM SIGPLAN Haskell Workshop}, 
	YEAR = {1997}
}

@Article{laufer-jfp96,
        author  = "Konstantin L{\"{a}}ufer",
        title   = "{Type Classes with Existential Types}",
        journal = "Journal of Functional Programming",
        year    = 1996,
        month   = may,
        volume  = 6,
        number  = 3,
        pages   = "485--517",
        URL     = "ftp://ftp.math.luc.edu/pub/laufer/papers/haskell+extypes.ps.gz" 
}

@InProceedings{laod91,
        AUTHOR             = {Konstantin L{\"{a}}ufer and Martin Odersky},
        BOOKTITLE          = {Proc. Phoenix Seminar and Workshop on 
                              Declarative Programming},
        series =             "ESPRIT Basic Research Series",
        publisher =          "Springer Verlag",
        MONTH              = nov,
        TITLE              = {Type Classes are Signatures of Abstract Types},
        YEAR               = {1991},
        URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/tycl-are-sigs.ps.gz"
}

@TECHREPORT{Henderson98,
	AUTHOR = {David Jeffery, Fergus Henderson and Zoltan Zomogyi},
	TITLE = {{Type Classes in Mercury}}, 
	INSTITUTION = {University of Melbourne},
        NUMBER = {98/13}, 
	YEAR = {1998}
}

@article{Duggan01,
        author  = {Dominic Duggan and John Ophel},
	TITLE   = {Type Checking Multi-Parameter Type Classes}, 
        JOURNAL = {Journal of Functional Programming},
        VOLUME  = 12, 
        NUMBER  = 2,
        PAGES   = {135--158}, 
        YEAR    = 2002
}

@article{Duggan01a,
        author  = {Dominic Duggan and John Ophel},
	TITLE   = {Open and Closed Scopes for Constrained Genericity},
        JOURNAL = {Theoretical Computer Science},
        VOLUME  = 275,
        NUMBER  = {1--2}, 
        PAGES   = {215--258}, 
        YEAR    = 2002
}

@InProceedings{MarkJones94-dict-free-ov,
        AUTHOR             = {Mark P.~Jones},
        BOOKTITLE          = {ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation},
        TITLE              = {{Dictionary-free Overloading by Partial Evaluation}},
        YEAR               = {1994}
}