David R. Christiansen

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Specular Reflection

Learning Environment

Top Venues

Log. Methods Comput. Sci.

Publications

Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci. 13 (1) (2017)
David R. Christiansen, Edwin C. Brady
Elaborator reflection: extending Idris in Idris. ICFP (2016)