2015-02-26 19:35:38 +03:00
|
|
|
# Citing `Idris`
|
|
|
|
|
|
|
|
If you use `Idris` in your work we would prefer it if you would use the following reference in your work.
|
|
|
|
|
|
|
|
## BibTeX
|
|
|
|
|
|
|
|
```bibtex
|
|
|
|
@article{JFP:9060502,
|
|
|
|
author = {BRADY,EDWIN},
|
|
|
|
title = {Idris, a general-purpose dependently typed programming language: Design and implementation},
|
|
|
|
journal = {Journal of Functional Programming},
|
|
|
|
volume = {23},
|
|
|
|
issue = {05},
|
|
|
|
month = {9},
|
|
|
|
year = {2013},
|
|
|
|
issn = {1469-7653},
|
|
|
|
pages = {552--593},
|
|
|
|
numpages = {42},
|
|
|
|
doi = {10.1017/S095679681300018X},
|
2019-12-19 16:24:06 +03:00
|
|
|
URL = {https://journals.cambridge.org/article_S095679681300018X},
|
2015-02-26 19:35:38 +03:00
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
## Textual
|
|
|
|
|
|
|
|
EDWIN BRADY (2013). Idris, a general-purpose dependently typed
|
|
|
|
programming language: Design and implementation. Journal of
|
|
|
|
Functional Programming, 23, pp
|
|
|
|
552-593. doi:10.1017/S095679681300018X.
|