%0 Journal Article %1 journals/pacmpl/WeirichVAE17 %A Weirich, Stephanie %A Voizard, Antoine %A de Amorim, Pedro Henrique Azevedo %A Eisenberg, Richard A. %D 2017 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 31:1-31:29 %T A specification for dependent types in Haskell. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#WeirichVAE17 %V 1

@article{journals/pacmpl/WeirichVAE17, added-at = {2022-09-22T00:00:00.000+0200}, author = {Weirich, Stephanie and Voizard, Antoine and de Amorim, Pedro Henrique Azevedo and Eisenberg, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2dad08c3699e4e6760bc5d2c0232d4c20/dblp}, ee = {https://doi.org/10.1145/3110275}, interhash = {b553dbebf92f65c3d5e570362a164bdf}, intrahash = {dad08c3699e4e6760bc5d2c0232d4c20}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {31:1-31:29}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {A specification for dependent types in Haskell.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#WeirichVAE17}, volume = 1, year = 2017 }