David Raymond Christiansen

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Algebraic Operations

Syntactic Parsing

Pair Programming

Top Venues

Sci. Comput. Program.

Publications

David Raymond Christiansen
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. IFL (2014)
Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen
Pension reserve computations on GPUs. FHPC@ICFP (2014)
David Raymond Christiansen
Software Development for the Working Actuary. IS-EUD (2013)
David Raymond Christiansen
Dependent type providers. WGP@ICFP (2013)
Jacob Andersen, Claus Brabrand, David Raymond Christiansen
Banana Algebra: Compositional syntactic language extension. Sci. Comput. Program. 78 (10) (2013)
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM (2010)