Tag Archives: ICFP

What’s the Difference? video and slides

Posted on October 20, 2018 by Brent

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

New ICFP functional pearl on subtracting bijections

Posted on June 23, 2018 by Brent

Kenny Foner and I have a paper accepted to ICFP on subtracting bijections. Here’s the basic problem: suppose you have a bijection between two sum types, , and another bijection . Of course and must have the same size, but … Continue reading →

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

Call for submissions: FARM 2018

Posted on April 23, 2018 by Brent

I’m the general chair this year for the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (better known as FARM), which will be colocated with ICFP this September in St. Louis, Missouri, USA. The goal of the workshop … Continue reading →

Posted in meta | Tagged , , , , , , , | 3 Comments

ICFP roundup

Posted on October 4, 2016 by Brent

ICFP 2016 in Nara, Japan was a blast. Here are a few of my recollections. The Place Although I was a coathor on an ICFP paper in 2011, when it was in Tokyo, I did not go since my son … Continue reading →

Posted in haskell | Tagged , , | 3 Comments

Meeting people at ICFP in Nara

Posted on September 15, 2016 by Brent

In less than 24 hours I’m getting on a plane to Japan (well, technically, Dallas, but I’ll get to Japan eventually). As I did last year, I’m making an open offer here: leave a comment on this post, and I … Continue reading →

Posted in meta | Tagged | 6 Comments

ICFP roundup

Posted on November 1, 2015 by Brent

Well, ICFP 2015 in Vancouver is already two months in the past… I’ve been meaning for a while to write a post reflecting on the experience. Better late than never! The Place I had never been to Vancouver before; it … Continue reading →

Posted in haskell | Tagged , , | 2 Comments

Ally Skills Tutorial at ICFP

Posted on June 10, 2015 by Brent

I just signed up for the Ally Skills Tutorial at ICFP, and if you are (1) a man who (2) will be at ICFP in Vancouver, I encourage you to sign up, too! From the website: The Ally Skills Tutorial … Continue reading →

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

FARM 2013: call for demonstration proposals

Posted on July 8, 2013 by Brent

Do you enjoy writing beautiful code to produce beautiful artifacts? Have something cool to show off at the intersection of functional programming and visual art, music, sound, modeling, visualization, or design? The deadline for submitting a paper has passed, but … Continue reading →

Posted in meta | Tagged , , , , , , , , | Leave a comment

Workshop on Functional Art, Music, Modeling and Design

Posted on May 13, 2013 by Brent

I’m helping organize a new workshop, FARM, to be held in Boston this September (right after ICFP). Many readers of this blog may have already seen the announcement, but I thought it worth saying a bit more about it here, … Continue reading →

Posted in meta | Tagged , , , , , , , , | 2 Comments

Binders Unbound

Posted on March 28, 2011 by Brent

Stephanie Weirich, Tim Sheard and I recently submitted a paper to ICFP entitled Binders Unbound. (You can read a draft here.) It’s about our kick-ass, I mean, expressive and flexible library, unbound (note: GHC 7 required), for generically dealing with … Continue reading →

Posted in grad school, haskell, projects, writing | Tagged , , , , , | 7 Comments