publications.bib

Copyright 2019 Sean Leather (sean.leather-at-gmail.com)

Last

@inproceedings{tts,
title = {{Type-Changing Rewriting and Semantics-Preserving Transformation}},
author = {Sean Leather and Johan Jeuring and Andres L\"{o}h and Bram Schuur},
booktitle = {Proceedings of the 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM)},
year = {2014},
pages = {109--120},
publisher = {ACM},
location = {San Diego, California, USA},
}

@inproceedings{ttspatmatching,
title = {{Type-Changing Program Transformations with Pattern Matching}},
author = {Joeri van Eekelen and Sean Leather and Johan Jeuring},
booktitle = {Proceedings of the Workshop on Haskell And Rewriting Techniques (HART)},
year = {2013},
location = {Eindhoven, Netherlands},
}

@inproceedings{gphackage,
title = {{Usage of Generic Programming on Hackage: Experience Report}},
author = {Nikolaos Bezirgiannis and Johan Jeuring and Sean Leather},
booktitle = {Proceedings of the 9th Workshop on Generic Programming (WGP)},
year = {2013},
pages = {47--52},
publisher = {ACM},
location = {Boston, Massachusetts, USA},
}

@inproceedings{gamecombinators,
title = {{A DSL for Describing the Artificial Intelligence in Real-Time Video Games}},
author = {Tom Hastjarjanto and Johan Jeuring and Sean Leather},
booktitle = {Proceedings of the 3rd International Workshop on Games and Software Engineering (GAS)},
year = {2013},
pages = {8--14},
publisher = {IEEE},
location = {San Francisco, California, USA},
}

@inproceedings{incrementalization,
title = {{Pull-Ups, Push-Downs, and Passing It Around: Exercises in Functional Incrementalization}},
author = {Sean Leather and Andres Löh and Johan Jeuring},
booktitle = {Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL)},
year = {2009},
pages = {159--178},
editor = {Marco T. Morazán and Sven-Bodo Scholz},
publisher = {Springer},
location = {South Orange, New Jersey, USA},
}

@inproceedings{gdiff,
title = {{Type-Safe Diff for Families of Datatypes}},
author = {Eelco Lempsink and Sean Leather and Andres Löh},
booktitle = {Proceedings of the Workshop on Generic Programming (WGP)},
year = {2009},
pages = {61--72},
publisher = {ACM},
location = {Edinburgh, Scotland, UK},
}

@incollection{gplibraries,
title = {{Libraries for Generic Programming in Haskell}},
author = {Johan Jeuring and Sean Leather and José Pedro Magalhães and Alexey Rodriguez Yakushev},
booktitle = {Advanced Functional Programming},
year = {2009},
pages = {165--229},
series = {Lecture Notes in Computer Science},
volume = {5832},
editor = {Pieter Koopman and Rinus Plasmeijer and Doaitse Swierstra},
publisher = {Springer},
}

First