%0 Journal Article %1 journals/jfp/LeiferS96 %A Leifer, James J. %A Sufrin, Bernard %D 1996 %J J. Funct. Program. %K dblp %N 2 %P 365-373 %T Deduction for Functional Programmers. %U http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#LeiferS96 %V 6

@article{journals/jfp/LeiferS96, added-at = {2023-08-28T00:00:00.000+0200}, author = {Leifer, James J. and Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2148c2b491d7c3b45b30e27cc8e61de60/dblp}, ee = {https://www.wikidata.org/entity/Q114116630}, interhash = {188471bbaa8f140a2d629671153ea598}, intrahash = {148c2b491d7c3b45b30e27cc8e61de60}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = {365-373}, timestamp = {2024-04-09T06:04:43.000+0200}, title = {Deduction for Functional Programmers.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp6.html#LeiferS96}, volume = 6, year = 1996 }