%0 Conference Paper %1 conf/esop/Jones00 %A Jones, Mark P. %B ESOP %D 2000 %E Smolka, Gert %I Springer %K dblp %P 230-244 %T Type Classes with Functional Dependencies. %U http://dblp.uni-trier.de/db/conf/esop/esop2000.html#Jones00 %V 1782 %@ 3-540-67262-1

@inproceedings{conf/esop/Jones00, added-at = {2017-05-19T00:00:00.000+0200}, author = {Jones, Mark P.}, biburl = {https://www.bibsonomy.org/bibtex/2fe52d784a817c1420f3455cfc066b4ab/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2000}, editor = {Smolka, Gert}, ee = {https://doi.org/10.1007/3-540-46425-5_15}, interhash = {0c60e0cf4a39212c853b5e2f04588754}, intrahash = {fe52d784a817c1420f3455cfc066b4ab}, isbn = {3-540-67262-1}, keywords = {dblp}, pages = {230-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {Type Classes with Functional Dependencies.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2000.html#Jones00}, volume = 1782, year = 2000 }