@inproceedings{DBLP:conf/afp/Jones95,
 author = {Mark P. Jones},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/afp/Jones95.bib},
 booktitle = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, Båstad, Sweden,
May 24-30, 1995, Tutorial Text},
 doi = {10.1007/3-540-59451-5_4},
 editor = {Johan Jeuring and
Erik Meijer},
 pages = {97--136},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:44 +0200},
 title = {Functional Programming with Overloading and Higher-Order Polymorphism},
 url = {https://doi.org/10.1007/3-540-59451-5_4},
 volume = {925},
 year = {1995}
}