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

me_xs

External links

Me elsewhere

Hauptwerk—My blog

Google+

Haskellers

LinkedIn

Facebook

Other interests

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

All news

More paper drafts

Paper drafts updated: two new available, two updated.

Posted on: Tuesday, 18/06/2013, 04:39 (GMT)

New paper drafts online

Two new paper drafts online: Generic Generic Programming (with Andres Löh), and Optimizing SYB Is Easy! (with Michael D. Adams and Andrew Farmer).

Posted on: Friday, 29/03/2013, 09:59 (GMT)

Final versions of IFL'12 papers online

Final versions of Optimisation of Generic Programs through Inlining and Pure and Lazy Lambda Mining: An Experience Report are now online.

Posted on: Monday, 18/03/2013, 05:21 (GMT)

Two papers accepted at IFL2012

Two papers accepted at IFL2012: Optimisation of Generic Programs through Inlining, and Pure and Lazy Lambda Mining (with Nicolas Wu, Jeroen Bransen, and Wouter Swierstra).

Posted on: Wednesday, 13/02/2013, 06:40 (GMT)

Talks online

The slides for a number of recent talks I've given are now online: Optimisation of Generic Programs through Inlining, The Right Kind of Generic Programming, Sorting with Bialgebras and Distributive Laws, and Equality Proofs and Deferred Type Errors.

Posted on: Wednesday, 12/09/2012, 08:39 (GMT)

Two new paper drafts

Two new paper drafts: Optimisation of Generic Programs through Inlining, and Pure and Lazy Lambda Mining (with Nicolas Wu, Jeroen Bransen, and Wouter Swierstra).

Posted on: Tuesday, 21/08/2012, 03:56 (GMT)

PhD thesis

My PhD thesis entitled "Less Is More: Generic Programming Theory and Practice" is now available here.

Posted on: Tuesday, 31/07/2012, 05:54 (GMT)

Paper accepted to ISMIR12

Our paper Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge (with W. Bas de Haas and Frans Wiering) has been accepted for publication at the International Society for Music Information Retrieval Conference.

Posted on: Monday, 18/06/2012, 14:56 (GMT)

Two new paper drafts

Two new paper drafts available: The Right Kind of Generic Programming and Sorting with Bialgebras and Distributive Laws.

Posted on: Sunday, 03/06/2012, 14:32 (GMT)

New affiliation

I'm now a research assistant at the University of Oxford.

Posted on: Tuesday, 08/05/2012, 09:02 (GMT)

New paper draft

New paper draft: Equality proofs and deferred type errors—a compiler pearl (with Dimitrios Vytiniotis and Simon Peyton Jones).

Posted on: Monday, 12/03/2012, 11:19 (GMT)

Paper accepted for MSFP'12

Our paper "A Formal Comparison of Approaches to Datatype-Generic Programming" (with Andres Lh) has been accepted for publication at MSFP'12. Final version is available here.

Posted on: Monday, 06/02/2012, 07:13 (GMT)

New draft: "A Formal Comparison of Approaches to Datatype-Generic Programming"

A new draft paper is available: A Formal Comparison of Approaches to Datatype-Generic Programming, with Andres Lh.

Posted on: Friday, 23/12/2011, 06:59 (GMT)

Another paper draft available

Draft paper Generic Programming with Indexed Functors (together with Andres Lh) is now available.

Posted on: Friday, 10/06/2011, 11:58 (GMT)

Paper accepted, plus new draft

Our paper Experience Report: Functional Modelling of Musical Harmony (with W. Bas de Haas) has been accepted for publication at ICFP11!

Also, there is a new draft paper available: Generic Programming for Indexed Datatypes (joint work with Johan Jeuring).

Posted on: Wednesday, 08/06/2011, 03:43 (GMT)

New draft available

Our paper "Experience Report: Functional Modelling of Musical Harmony" is now available as a draft.

Posted on: Monday, 21/03/2011, 03:30 (GMT)

New draft: "Generic selections of subexpressions"

Our paper "Generic selections of subexpressions" is now available as a draft.

Posted on: Thursday, 17/06/2010, 12:48 (GMT)

New draft paper "A generic deriving mechanism for Haskell"

A draft version of our paper entitled "A generic deriving mechanism for Haskell" is now available. Comments are welcome!

Posted on: Sunday, 13/06/2010, 14:32 (GMT)

Spring School on Generic and Indexed Programming

I will be in Oxford for the Spring School on Generic and Indexed Programming from the 22nd to the 26th of March. Looking very much forward to it!

Posted on: Friday, 19/03/2010, 10:35 (GMT)

Final version of rewriting paper

The final version of our paper "A Lightweight Approach to Datatype-generic Rewriting" is now online, also as a technical report.

Posted on: Tuesday, 16/03/2010, 03:41 (GMT)

New draft paper, talk

Our paper entitled A Lightweight Approach to Datatype-generic Rewriting has been accepted for publication in the Journal of Functional Programming special issue on Generic Programming. Also, my talk at PEPM'10 on Optmizing Generics Is Easy! is now online.

Posted on: Tuesday, 19/01/2010, 05:20 (GMT)

New talk for "Optimizing Generics Is Easy!"

The talk for the Dutch Functional Programming day 2010 is now online.

Posted on: Thursday, 07/01/2010, 09:50 (GMT)

New paper: Optimizing Generics Is Easy!

A pre-print pdf of the paper "Optimizing Generics Is Easy!", accepted for publication at PEPM'10, is now available in the research section (both in color and greyscale).

Posted on: Tuesday, 10/11/2009, 08:38 (GMT)

Implemented an RSS feed

There is now an RSS feed for the news.

Posted on: Friday, 06/11/2009, 08:46 (GMT)

Video of my talk

The video of my talk at the September Dutch Haskell Users' Group meeting is now available, thanks to Tom Lokhorst:

Dutch HUG - Generic Programming from Tom Lokhorst on Vimeo.

Posted on: Thursday, 24/09/2009, 03:56 (GMT)

Another small update

Updated the research section.

Posted on: Wednesday, 25/02/2009, 09:56 (GMT)

Small update

Updated the research section with publications, events and teaching activities.

Posted on: Friday, 04/07/2008, 10:19 (GMT)

Website updated

I've finally managed to update the website a bit, adding some sections and content.

Hauptwerk also got a new post.

Posted on: Thursday, 29/05/2008, 13:06 (GMT)

Welcome

Welcome to the very first incarnation of my personal webpage. There is not much to be seen yet, but I plan to expand this page as time allows and content arises.

I am also proud to announce the beginning of
Hauptwerk, my (tentative) musical blog.

Posted on: Saturday, 29/03/2008, 04:16 (GMT)