José Pedro Magalhães

All news

New draft: "Generic selections of subexpressions"

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

Posted on: Thursday, 17/06/2010, 16: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, 18: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, 14: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, 07: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, 10: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, 14: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, 13:38 (GMT)

Implemented an RSS feed

There is now an RSS feed for the news.

Posted on: Friday, 06/11/2009, 13: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, 07:56 (GMT)

Another small update

Updated the research section.

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

Small update

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

Posted on: Friday, 04/07/2008, 14: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, 17: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, 08:16 (GMT)