Skip to content

Latest commit

 

History

History
29 lines (24 loc) · 809 Bytes

CITATION.md

File metadata and controls

29 lines (24 loc) · 809 Bytes
Raw

Citing Idris

If you use Idris in your work we would prefer it if you would use the following reference in your work.

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},
  URL = {https://journals.cambridge.org/article_S095679681300018X},
}

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.