Tracking Subjective Experience Jakob Eg Larsen & Thomas Blomseth Christiansen Workshop @ QS17 Amsterdam

Source URL: qs17.quantifiedself.com

Slurm Overview Brian Christiansen, Marshall Garey, Isaac Hartung SchedMD SC17 Copyright 2017 SchedMD LLC

Source URL: slurm.schedmd.com

Submission for IFL 2014 pre-proceedings Type-Directed Elaboration of Quasiquotations A High-Level Syntax for Low-Level Reflection David Raymond Christiansen IT University of Copenhagen

Source URL: ifl2014.github.io

• Software engineering
• Computer programming
• Computing
• Functional languages
• Idris
• Agda
• Dependent type
• Lisp
• Lambda calculus
• Scope
• Type theory
• Fold

Elaborator Reflection: Extending Idris in Idris David Christiansen Edwin Brady Indiana University Bloomington, USA

Source URL: www.davidchristiansen.dk

Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen

Source URL: www.sci.unich.it

The Final Pretty Printer David Christiansen David Darais Weixi Ma

Source URL: www.davidchristiansen.dk

The Final Pretty Printer David Christiansen David Darais Weixi Ma

Source URL: david.darais.com

TREE vol. 4, no. 2, Februarypetition examined genetic variability and selection (F. Christiansen,

Source URL: regis.ferriere.free.fr

Elaborator Reflection: Extending Idris in Idris David Christiansen Edwin Brady Indiana University Bloomington, USA

Source URL: eb.host.cs.st-andrews.ac.uk

Work supported by NSF grantProof Assistants as Macros David Christiansen Indiana University

Source URL: davidchristiansen.dk