ITU
ITU
David Raymond Christiansen

David Raymond Christiansen

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (4)

  1. Published

    Practical Reflection and Metaprogramming for Dependent Types

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  2. Published

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Banana Algebra: Compositional Syntactic Language Extension

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all (4) »

Recent activities and conferences

ID: 32190381