@inbook{e0e4af869b444fa3be938293dc72db19,
title = "The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types",
author = "Brady, {Edwin Charles}",
year = "2015",
doi = "10.1007/978-3-319-15940-9_4",
language = "English",
isbn = "9783319159393",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "115--186",
editor = "V. Zs{\'o}k and Z. Horv{\'a}th and L. Csat{\'o}",
booktitle = "Central European Functional Programming School. CEFP 2013",
address = "Netherlands",
}