Statistics
Publications
2
Citations
46
H-Index
2
Active since
2016
Affiliations
David Thrane Christiansen is an author at Indiana University specializing in functional programming, functional language design, and implicit information.
Publications per year
2016–2016
2
2
Elaborator reflection: extending Idris in Idris
David Thrane Christiansen, Edwin Brady · 2016 · 34 citations · Full text
Elaborator reflection: extending Idris in Idris
David Thrane Christiansen, Edwin Brady · ACM SIGPLAN Notices · 2016 · 12 citations
1–2 of 2