Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. - David Raymond Christiansen; Marco Carbone; Thomas T. Hildebrandt (WS-FM, 2010)

Dependent type providers. - David Raymond Christiansen (WGP@ICFP, 2013)

Software Development for the Working Actuary. - David Raymond Christiansen (IS-EUD, 2013)

Banana Algebra: Compositional syntactic language extension. - Jacob Andersen; Claus Brabrand; David Raymond Christiansen (Sci. Comput. Program., 2013)

Pension reserve computations on GPUs. - Christian Harrington; Nicolai Dahl; Peter Sestoft; David Raymond Christiansen (FHPC@ICFP, 2014)

Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. - David Raymond Christiansen (IFL, 2014)