Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : S.P. Leather, MSc

Sean  Leather

select other reports

this selection

author S.P. Leather, MSc

reports (8)

techrep_id file title / author
UU-CS-2015-012 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2013-017 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2013-014 pdf Usage of Generic Programming on Hackage — Experience report —
Nikolaos Bezirgiannis, Johan Jeuring and Sean Leather
UU-CS-2013-011 pdf Type-changing program transformations with pattern matching
Joeri van Eekelen, Sean Leather and Johan Jeuring
UU-CS-2013-003 pdf A DSL for describing the artificial intelligence in real-time video games
Tom Hastjarjanto, Johan Jeuring and Sean Leather
UU-CS-2012-004 pdf Type-and-Transform Systems
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2009-024 pdf Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.
Sean Leather, Andres Löh, Johan Jeuring
UU-CS-2008-025 pdf Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev

indexed (co) authors

author group
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Leather, MSc S.P. all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports
Magalhães, dr. ir. J.P. all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2015012,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2015,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2015-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013017,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2013,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2013-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013014,
author = {Bezirgiannis, Nikolaos and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {Usage of Generic Programming on Hackage — Experience report —},
number = {UU-CS-2013-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013011,
author = {Eekelen, Joeri~van and Leather, Sean and Jeuring, Johan},
year = 2013,
title = {Type-changing program transformations with pattern matching},
number = {UU-CS-2013-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013003,
author = {Hastjarjanto, Tom and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {A DSL for describing the artificial intelligence in real-time video games},
number = {UU-CS-2013-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012004,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2012,
title = {Type-and-Transform Systems},
number = {UU-CS-2012-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009024,
author = {Leather, Sean and Löh, Andres and Jeuring, Johan},
year = 2009,
title = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.},
number = {UU-CS-2009-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008025,
author = {Jeuring, Johan and Leather, Sean and Magalhães, José~Pedro and Rodriguez~Yakushev, Alexey},
year = 2008,
title = {Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}},
pubcat = {techreport}
}