Seguir
David Thrane Christiansen
David Thrane Christiansen
Deon Digital
Dirección de correo verificada de deondigital.com - Página principal
Título
Citado por
Citado por
Año
Elaborator reflection: extending Idris in Idris
D Christiansen, E Brady
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
542016
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
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
142017
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15