Sean Leather

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Computer Supported Collaboration

Transformation Rules

Top Venues

Sci. Comput. Program.

Publications

Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112 (2015)
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. PEPM (2014)
Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather
Usage of generic programming on hackage: experience report. WGP@ICFP (2013)
Tom Hastjarjanto, Johan Jeuring, Sean Leather
A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE (2013)
Sean Leather, Andres Löh, Johan Jeuring
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL (2009)
Eelco Lempsink, Sean Leather, Andres Löh
Type-safe diff for families of datatypes. WGP@ICFP (2009)
Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev
Libraries for Generic Programming in Haskell. Advanced Functional Programming (2008)