•  

David Christiansen

PhD student at IT University of Copenhagen. Contributor to Idris programming language.

Spoken at 2 events in 2 countries

David Christiansen recently attended

  1. PrlConf 2016

    United States United States, Boulder

    25th May 2016

    David Christiansen spoke

  2. Idris CPH Meetup #1

    Denmark Denmark, Copenhagen

    7th January 2014

    David Christiansen spoke

Session coverage

1 slide deck

Added 3 years ago

6 handouts

Most recent added 3 years ago

See all coverage

7 items in total