Monthly Archives: June 2010

Typed type-level programming in Haskell, part I: functional dependencies

The other project I’m working on at MSR this summer is a bit more ambitious: our headline goal is to extend GHC to enable typed, functional, type-level programming. What’s that, you ask? Well, first, let me tell you a little … Continue reading

Posted in haskell | Tagged , , , | 13 Comments

Improving GHC’s constraint solving

So I’ve been here at MSR Cambridge for almost two weeks now (!), working in the Programming Principles and Tools Group with Simon Peyton-Jones and Dimitrios Vytiniotis — and also collaborating with Stephanie Weirich and Steve Zdancewic, who are also … Continue reading

Posted in haskell | Tagged , , , , , | 5 Comments

Summer in Cambridge

Today was my last full day in Philadelphia for a little while (spent very enjoyably at the US’s first zoo and our favorite local pizzeria and brewery). Tomorrow evening I’m flying to the UK, where I’ll be spending three months … Continue reading

Posted in haskell | 2 Comments