%0 Journal Article %1 journals/jfp/Brady13 %A Brady, Edwin %D 2013 %J J. Funct. Program. %K %N 5 %P 552-593 %T Idris, a general-purpose dependently typed programming language: Design and implementation. %U http://dblp.uni-trier.de/db/journals/jfp/jfp23.html#Brady13 %V 23

@article{journals/jfp/Brady13, added-at = {2023-12-13T04:37:25.000+0100}, author = {Brady, Edwin}, biburl = {https://www.bibsonomy.org/bibtex/2f5d4ee897e66dd7d7435e086061ac044/admin}, ee = {https://www.wikidata.org/entity/Q56228328}, interhash = {983d373264f18b9421f1b2a497dd779e}, intrahash = {f5d4ee897e66dd7d7435e086061ac044}, journal = {J. Funct. Program.}, keywords = {}, number = 5, pages = {552-593}, timestamp = {2023-12-13T04:37:25.000+0100}, title = {Idris, a general-purpose dependently typed programming language: Design and implementation.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp23.html#Brady13}, volume = 23, year = 2013 }