@article{DBLP:journals/jfp/Jones92b,
 author = {Mark P. Jones},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jfp/Jones92b.bib},
 doi = {10.1017/S0956796800000514},
 journal = {J. Funct. Program.},
 number = {4},
 pages = {475--503},
 timestamp = {Sat, 27 May 2017 01:00:00 +0200},
 title = {Computing with Lattices: An Application of Type Classes},
 url = {https://doi.org/10.1017/S0956796800000514},
 volume = {2},
 year = {1992}
}