Sean Leather

According to our database, Sean Leather authored at least 6 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Type-changing rewriting and semantics-preserving transformation.

Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur

Sci. Comput. Program., 2015

2013

A DSL for describing the artificial intelligence in real-time video games.

Tom Hastjarjanto, Johan Jeuring, Sean Leather

Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

Usage of generic programming on hackage: experience report.

Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

2009

Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.

Sean Leather, Andres Löh, Johan Jeuring

Proceedings of the Implementation and Application of Functional Languages, 2009

Type-safe diff for families of datatypes.

Eelco Lempsink, Sean Leather, Andres Löh

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Libraries for Generic Programming in Haskell.

Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev

Proceedings of the Advanced Functional Programming, 6th International School, 2008