HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

publications by dr. A.L. Rodriguez Yakushev

Alexey  Rodriguez Yakushev

dr. A.L. Rodriguez Yakushev

some publications

Jeuring, J.T. & Rodriguez Yakushev, A. (2009). Enumerating Well-Typed Terms Generically. (UU-CS UU-CS-2009-017). onbekend: UU WINFI Informatica en Informatiekunde.

Rodriguez Yakushev, A., Holdermans, S., Löh, A. & Jeuring, J.T. (2009). Generic programming with fixed points for mutually recursive datatypes. In G. Hutton & A.P. Tolmach (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09 (pp. 233-244). ACM.

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.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A Lightweight Approach to Datatype-Generic Rewriting. (UU-CS 2008-020). onbekend: UU WINFI Informatica en Informatiekunde.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A lightweight approach to datatype-generic rewriting. In R. Hinze & D. Syme (Eds.), Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 (pp. 13-24). ACM Press.

Rodriguez Yakushev, A., Jeuring, J.T., Jansson, P., Gerdes, A., Kiselyov, O. & Oliviera, B.C.d.S. (2008). Comparing Libraries for Generic Programming in {H}askell. (UU-CS 2008-010). onbekend: UU WINFI Informatica en Informatiekunde.

Marlow, S., Rodriguez Yakushev, A. & Peyton Jones, S. (2007). Faster laziness using dynamic pointer tagging. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (pp. 277-288). Freiburg: ACM.

Rodriguez Yakushev, A., Holdermans, S., Loeh, A. & Jeuring, J.T. (2008). Generic programming with fixed points for mutually recursive datatypes. (UU-CS 2008-019). onbekend: UU WINFI Informatica en Informatiekunde.

Jeuring, J.T., Leather, S. & Rodriguez Yakushev, A. (2008). Libraries for Generic Programming in {H}askell. (UU-CS 2008-025). onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & Schie, J. van (2008). Report on the tenth {ICFP} programming contest. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408). New York, NY, USA: ACM.

Löh, A., Jeuring, J.T., Noort, T. van, Rodriguez Yakushev, A., Clarke, D., Hinze, R. & Wit, J de (2008). The {G}eneric {H}askell user's guide, {V}ersion 1.80 - {E}merald release. (UU-CS 2008-011). onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. (UU-CS 2007-029). onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. (UU-CS 2007-027). onbekend: UU WINFI Informatica en Informatiekunde.

Jeuring, J.T., Rodriguez Yakushev, A. & Smeding, G. (2006). Generating generic functions. (UU-CS 2006-039). onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez Yakushev, A. (2006). Generic Views on Data Types. (UU-CS 2006-020). onbekend: UU WINFI Informatica en Informatiekunde.

Löh, A., Jeuring, J.T. & Rodriguez Yakushev, A. (2006). The Generic Haskell user's guide, Version 1.60 - Diamond release. onbekend: UU WINFI Informatica en Informatiekunde.


valid-html401 webmaster@cs.uu.nl, Wed, 19 Jun 2013 03:32:25 +0200 ← Departement Informatica, Universiteit Utrecht