Sean Leather
Cited by
Cited by
Type-safe diff for families of datatypes
E Lempsink, S Leather, A Löh
Workshop on Generic Programming, 61-72, 2009
Libraries for generic programming in Haskell
J Jeuring, S Leather, JP Magalhaes, AR Yakushev
6th International Conference on Advanced Functional Programming, 165-229, 2008
A DSL for describing the artificial intelligence in real-time video games
T Hastjarjanto, J Jeuring, S Leather
3rd International Workshop on Games and Software Engineering: Engineering …, 2013
Type-Changing Rewriting and Semantics-Preserving Transformation
S Leather, J Jeuring, A Löh, B Schuur
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014
Pull-Ups, Push-Downs, and Passing It Around: Exercises in Functional Incrementalization
S Leather, A Löh, J Jeuring
21st Symposium on Implementation and Application of Functional Languages …, 2009
Usage of Generic Programming on Hackage: Experience Report
N Bezirgiannis, J Jeuring, S Leather
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 47-52, 2013
Type-Changing Program Transformations with Pattern Matching
J van Eekelen, S Leather, J Jeuring
Proceedings of the Workshop on Haskell And Rewriting Techniques (HART) 2013, 2013
The system can't perform the operation now. Try again later.
Articles 1–7