home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by S.P. Leather, MSc

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

S.P. Leather, MSc

• contact information
• my technical reports
• former member of group software technology

some publications

Leather, S.P., Jeuring, J.T., Löh, A. & Schuur, B. (2012). Type-and-Transform Systems. : Department of Information and Computing Sciences, Utrecht University.

Jeuring, J.T., Leather, S.P., Rodrigues Magalhães, J.P. & Rodriguez Yakushev, A. (2009). Libraries for Generic Programming in Haskell. In Proceedings of the Sixth Advanced Functional Programming School, AFP'08 (pp. 165-229). Springer.

Leather, S.P., Löh, A. & Jeuring, J.T. (2009). Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. onbekend: UU BETA ICS Departement Informatica.

Lempsink, E., Leather, S.P. & Loeh, A. (2009). Type-safe diff for families of datatypes. In WGP '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming (pp. 61-72). ACM.