Tag Archives: talk

What’s the Difference? video and slides

At ICFP in St. Louis I presented my paper with Kenny Foner, What’s the Difference? A Functional Pearl on Subtracting Bijections. Many people seemed to enjoy the talk and we got lots of great feedback afterwards. We will probably write up … Continue reading

Posted in combinatorics, haskell, writing | Tagged , , , , , , | 2 Comments

Off the Beaten Track: Explaining Type Errors

Last week I gave a talk at Off the Beaten Track 2018 about something that Richard Eisenberg, Harley Eades and I have been thinking about recently: namely, how to generate good interactive error explanations for programmers, especially for type errors. … Continue reading

Posted in projects, writing | Tagged , , , , , , , , | 2 Comments

diagrams slides

Today at Hac φ I gave a short talk about the past and future of the diagrams library. For anyone who is interested, I’ve put the slides up here. For the actual talk the slides had no text on them, … Continue reading

Posted in haskell, projects | Tagged , , , , , | 21 Comments

FringeDC talk

My FringeDC talk has now been uploaded to Google video! A huge thanks to Conrad Barski, who took the effort to actually record the video and then wrangle it into digital form. Without further ado: My FringeDC talk The slides … Continue reading

Posted in haskell | Tagged , , , | 5 Comments

FringeDC informal meeting

Went for the first time last night to an informal meeting of the FringeDC group, for DC area residents interested in “fringe” programming languages, organized by the illustrious Conrad Barski. ‘Twas a lot of fun—I met some cool people and … Continue reading

Posted in haskell | Tagged , , | 2 Comments