git.iko.soy/Idris-dev
on enable-8.4 help sign in
Idris-dev/CITATION.md
29 lines 808 B history raw
1# Citing `Idris`
3If you use `Idris` in your work we would prefer it if you would use the following reference in your work.
5## BibTeX
7```bibtex
8@article{JFP:9060502,
9 author = {BRADY,EDWIN},
10 title = {Idris, a general-purpose dependently typed programming language: Design and implementation},
11 journal = {Journal of Functional Programming},
12 volume = {23},
13 issue = {05},
14 month = {9},
15 year = {2013},
16 issn = {1469-7653},
17 pages = {552--593},
18 numpages = {42},
19 doi = {10.1017/S095679681300018X},
20 URL = {http://journals.cambridge.org/article_S095679681300018X},
22```
24## Textual
26 EDWIN BRADY (2013). Idris, a general-purpose dependently typed
27 programming language: Design and implementation. Journal of
28 Functional Programming, 23, pp
29 552-593. doi:10.1017/S095679681300018X.