%0 Conference Paper %1 conf/icfp/Augustsson98 %A Augustsson, Lennart %B ICFP %D 1998 %E Felleisen, Matthias %E Hudak, Paul %E Queinnec, Christian %I ACM %K dblp %P 239-250 %T Cayenne - a Language with Dependent Types. %U http://dblp.uni-trier.de/db/conf/icfp/icfp98.html#Augustsson98 %@ 1-58113-024-4

@inproceedings{conf/icfp/Augustsson98, added-at = {2021-07-08T00:00:00.000+0200}, author = {Augustsson, Lennart}, biburl = {https://www.bibsonomy.org/bibtex/219221a23790ee3382924fd44f768e66b/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/1998}, editor = {Felleisen, Matthias and Hudak, Paul and Queinnec, Christian}, ee = {https://doi.org/10.1145/291251.289451}, interhash = {6cea44fa46ead1087289b552a5be6ef6}, intrahash = {19221a23790ee3382924fd44f768e66b}, isbn = {1-58113-024-4}, keywords = {dblp}, note = {SIGPLAN Notices 34(1), January 1999}, pages = {239-250}, publisher = {ACM}, timestamp = {2024-04-09T17:30:38.000+0200}, title = {Cayenne - a Language with Dependent Types.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp98.html#Augustsson98}, year = 1998 }