%0 Conference Paper %1 conf/haskell/EisenbergW12 %A Eisenberg, Richard A. %A Weirich, Stephanie %B Haskell %D 2012 %E Voigtländer, Janis %I ACM %K dblp %P 117-130 %T Dependently typed programming with singletons. %U http://dblp.uni-trier.de/db/conf/haskell/haskell2012.html#EisenbergW12 %@ 978-1-4503-1574-6

@inproceedings{conf/haskell/EisenbergW12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Eisenberg, Richard A. and Weirich, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/26117581838d361ae68ad46b0bc71fa89/dblp}, booktitle = {Haskell}, crossref = {conf/haskell/2012}, editor = {Voigtländer, Janis}, ee = {https://doi.org/10.1145/2430532.2364522}, interhash = {d27bc6fbfda757043f1554e154023f3c}, intrahash = {6117581838d361ae68ad46b0bc71fa89}, isbn = {978-1-4503-1574-6}, keywords = {dblp}, pages = {117-130}, publisher = {ACM}, timestamp = {2024-04-10T01:08:19.000+0200}, title = {Dependently typed programming with singletons.}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2012.html#EisenbergW12}, year = 2012 }