Type-safe diff for families of datatypes E Lempsink, S Leather, A Löh Workshop on Generic Programming, 61-72, 2009 | 28 | 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 | 23 | 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 | 17 | 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 | 8 | 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 | 8 | 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 | 7 | 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 | 1* | 2013 |