%0 Conference Paper %1 conf/phoenix/Paterson91 %A Paterson, Ross %B Declarative Programming %D 1991 %E Darlington, John %E Dietrich, Roland %I Springer %K dblp %P 66-79 %T A Tiny Functional Language with Logical Features. %U http://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#Paterson91 %@ 3-540-19735-4

@inproceedings{conf/phoenix/Paterson91, added-at = {2019-06-21T00:00:00.000+0200}, author = {Paterson, Ross}, biburl = {https://www.bibsonomy.org/bibtex/2c312fd7d028215c9ec586fcf4ff7b35a/dblp}, booktitle = {Declarative Programming}, crossref = {conf/phoenix/1991}, editor = {Darlington, John and Dietrich, Roland}, ee = {https://doi.org/10.1007/978-1-4471-3794-8_5}, interhash = {4dfc91a9d1f7183fd780997eaa1e442f}, intrahash = {c312fd7d028215c9ec586fcf4ff7b35a}, isbn = {3-540-19735-4}, keywords = {dblp}, pages = {66-79}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:50.000+0200}, title = {A Tiny Functional Language with Logical Features.}, url = {http://dblp.uni-trier.de/db/conf/phoenix/phoenix1991.html#Paterson91}, year = 1991 }