Internal links

Starting page

Curriculum vitae (pdf)

Research

PhD thesis

All news

Ars Magica

Contact information

Email:
dreixel@gmail.com

Mobile phone:
+44 744 6060115

Mail:
José Pedro Magalhães
Wolfson Building
Parks Road, Oxford OX1 3QD
United Kingdom

me_xs

External links

Me elsewhere

Hauptwerk—My blog

Google+

Haskellers

LinkedIn

Facebook

Other interests

Prepared piano Nina Simone Karlheinz Stockhausen Absolutely Fabulous The League of Gentlemen Christo and Jeanne-Claude Tom Waits Marilyn Manson Ornatos Violeta Babylon 5 Muse Johann Sebastian Bach QueenAdreena John Cage Steve Reich Conlon Nancarrow Radiohead Yves Klein Dancer in the Dark Olivier Messiaen French and Saunders Let Them Eat Cake Onda Choc Pierre Boulez Cradle of Filth Henri Matisse South Park

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: drafts, refereed publications, reports, code, talks, events, program committee membership, teaching.

Drafts

Refereed publications

2014

2013

2012

2011

2010

2009

2007

Reports

2013

2012

2011

2010

2009

2008

2007

Code

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

Talks

2014

2013

2012

2011

2010

2009

2008

Events

2013

2012

2011

2010

2009

2008

Program committee membership

Teaching

2014

2013

2012

2011

2010

2009

2008