Follow
David Thrane Christiansen
David Thrane Christiansen
Deon Digital
Verified email at deondigital.com - Homepage
Title
Cited by
Cited by
Year
Elaborator reflection: extending Idris in Idris
D Christiansen, E Brady
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
522016
Formal semantics and implementation of BPMN 2.0 inclusive gateways
DR Christiansen, M Carbone, T Hildebrandt
International Workshop on Web Services and Formal Methods, 146-160, 2010
492010
Dependent type providers
DR Christiansen
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 25-34, 2013
252013
Practical reflection and metaprogramming for dependent types
DR Christiansen
IT-Universitetet i København, 2016
142016
Type-directed elaboration of quasiquotations: A high-level syntax for low-level reflection
DR Christiansen
Proceedings of the 26Nd 2014 International Symposium on Implementation and …, 2014
142014
Sequential decision problems, dependent types and generic solutions
N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady
Logical Methods in Computer Science 13, 2017
132017
Banana algebra: Compositional syntactic language extension
J Andersen, C Brabrand, DR Christiansen
Science of Computer Programming 78 (10), 1845-1870, 2013
62013
An actuarial programming language for life insurance and pensions
DR Christiansen, K Grue, H Niss, P Sestoft, KS Sigtryggsson
Proceedings of 30th International Congress of Actuaries, 2013
62013
Tool demonstration: An IDE for programming and proving in Idris
H Mehnert, D Christiansen
Proceedings of Vienna Summer of Logic, VSL 14 (2), 2014
52014
An actuarial programming language for life insurance. 2014
DR Christiansen, H Niss, K Grue, KS Sigtryggsson, P Sestoft
Submitted to ICA 2014, 2014
42014
Software development for the working actuary
DR Christiansen
International Symposium on End User Development, 266-271, 2013
22013
Looking Outward: When Dependent Types Meet I/O
DR Christiansen
Master’s thesis. IT University of Copenhagen, 2013
22013
e Final Pretty Printer
D Christiansen, D Darais, W Ma
12016
Pension reserve computations on gpus
C Harrington, N Dahl, P Sestoft, DR Christiansen
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance …, 2014
12014
High-performance reserve calculations for life insurance portfolios
C Harrington, N Dahl, P Sestoft, DR Christiansen
12013
The system can't perform the operation now. Try again later.
Articles 1–15