Libraries for Generic Programming in Haskell. - Johan Jeuring; Sean Leather; José Pedro Magalhães; Alexey Rodriguez Yakushev (Advanced Functional Programming, 2008)

Type-safe diff for families of datatypes. - Eelco Lempsink; Sean Leather; Andres Löh (WGP@ICFP, 2009)

Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. - Sean Leather; Andres Löh; Johan Jeuring (IFL, 2009)

Usage of generic programming on hackage: experience report. - Nikolaos Bezirgiannis; Johan Jeuring; Sean Leather (WGP@ICFP, 2013)

A DSL for describing the artificial intelligence in real-time video games. - Tom Hastjarjanto; Johan Jeuring; Sean Leather (GAS@ICSE, 2013)

Type-changing rewriting and semantics-preserving transformation. - Sean Leather; Johan Jeuring; Andres Löh; Bram Schuur (Sci. Comput. Program., 2015)