David Raymond Christiansen

According to our database, David Raymond Christiansen authored at least 6 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection.

David Raymond Christiansen

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Pension reserve computations on GPUs.

Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Banana Algebra: Compositional syntactic language extension.

Jacob Andersen, Claus Brabrand, David Raymond Christiansen

Sci. Comput. Program., 2013

Software Development for the Working Actuary.

David Raymond Christiansen

Proceedings of the End-User Development - 4th International Symposium, 2013

Dependent type providers.

David Raymond Christiansen

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

2010

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.

David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010