author = {Cheney, James and Hinze, Ralf},
year = {2003},
file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
+}
+
+@inproceedings{cheney_lightweight_2002,
+ title = {A lightweight implementation of generics and dynamics},
+ url = {http://dl.acm.org/citation.cfm?id=581698},
+ urldate = {2017-05-15},
+ booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} workshop on {Haskell}},
+ publisher = {ACM},
+ author = {Cheney, James and Hinze, Ralf},
+ year = {2002},
+ pages = {90--104},
+ file = {HW02.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
}
\ No newline at end of file