Internal links

Starting page

Research

PhD thesis

All news

Ars Magica

Contact information

Email:
dreixel@gmail.com

Mobile phone:
+44 744 6060115

me_xs

External links

Me elsewhere

LinkedIn

Other interests

José Luís Peixoto South Park Ornatos Violeta Prepared piano Clã Björk Henri Matisse Tom Waits Steve Reich The League of Gentlemen Yves Klein Dancer in the Dark Let Them Eat Cake Absolutely Fabulous QueenAdreena Radiohead José Saramago Onda Choc Muse Babylon 5 John Cage Johann Sebastian Bach Marilyn Manson Gerda Steiner & Jörg Lenzlinger Karlheinz Stockhausen Christo and Jeanne-Claude French and Saunders Nina Simone Cradle of Filth Conlon Nancarrow Pierre Boulez Olivier Messiaen

Research interests

I am interested in functional programming languages, particularly Haskell and Agda. My research focuses in datatype-generic programming.

All my publications are also available in a single BibTeX file.

Jump to: refereed publications, reports, code, talks, events, program committee membership, teaching.

Refereed publications

2015

2014

2013

2012

2011

2010

2009

2007

Reports

2015

2014

2013

2012

2011

2010

2009

2008

2007

Code

I have been the maintainer (possibly with other people) of the following projects:

Talks

2021

2018

2016

2015

2014

2013

2012

2011

2010

2009

2008

Events

2013

2012

2011

2010

2009

2008

Program committee membership

Teaching

2015

2014

2013

2012

2011

2010

2009

2008