Jeuring, J.T., Gerdes, A. & Heeren, B.J. (2012). A Programming tutor for Haskell. : Department of Information and Computing Sciences, Utrecht University.
|
Jeuring, J.T., Gerdes, A. & Heeren, B. (2012). A programming tutor for Haskell. In Z. Horváth & V. Zsók (Eds.), Proceedings of CEFP 2011: the 4th Central European Functional Programming School (pp. 1-45). Springer.
|
Gerdes, A., Jeuring, J.T. & Heeren, B.J. (2012). An Interactive Functional Programming Tutor. : Department of Information and Computing Sciences, Utrecht University.
|
Gerdes, A., Jeuring, J.T. & Heeren, B. (2012). An interactive functional programming tutor. In T. Lapidot, J. Gal-Ezer, M.E. Caspersen & O. Hazzan (Eds.), Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012 (pp. 250-255). ACM.
|
Jeuring, J.T., Gerdes, A. & Heeren, B.J. (2012). Ask-Elle: A Haskell tutor -- Demonstration --. : Department of Information and Computing Sciences, Utrecht University.
|
Jeuring, J.T., Gerdes, A. & Heeren, B. (2012). Ask-Elle: A Haskell tutor --- Demonstration ---. In A. Ravenscroft (Ed.), Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning (pp. 453-458). Springer.
|
Jeuring, J.T. & Heeren, B.J. (2012). Feedback Genereren in Leeromgevingen voor Algebra. : Department of Information and Computing Sciences, Utrecht University.
|
Keuchel, S. & Jeuring, J.T. (2012). Generic conversions of abstract syntax rep- resentations. Utrecht: Department of Information and Computing Sciences, Utrecht University.
|
Keuchel, S. & Jeuring, J.T. (2012). Generic conversions of abstract syntax representations. In Proceedings of WGP 2012: the 8th ACM SIGPLAN workshop on generic programming. ACM.
|
Jeuring, J.T., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (Eds.). (2012). Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings (Lecture Notes in Computer Science, 7362). Bremen: Springer.
|
Roijers, D.M., Jeuring, J.T. & Feelders, A.J. (2012). Probability Estimation and a Competence Model for Rule-based e-Tutoring Systems. In Learning Analytics and Knowledge (LAK 2012).
|
Roijers, D.M., Jeuring, J.T. & Feelders, A.J. (2012). Probability estimation and a competence model for rule based e-tutoring systems. Utrecht: Department of Information and Computing Sciences, Utrecht University.
|
Roijers, D.M., Jeuring, J.T. & Feelders, A. (2012). Probability estimation and a competence model for rule based e-tutoring systems. In S. Dawson, C. Haythornthwaite, S. Buckingham Shum, D. Gasevic & R. Ferguson (Eds.), Second International Conference on Learning Analytics and Knowledge, LAK 2012, Vancouver, BC, Canada, April 29 - May 02, 2012 (pp. 255-258). ACM.
|
Gerdes, A., Heeren, B. & Jeuring, J.T. (2012). Teachers and students in charge --- Using annotated model solutions in a functional programming tutor. In A. Ravenscroft (Ed.), Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning (pp. 383-388). Springer.
|
Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2012). Teachers and students in charge- Using annotated model solutions in a functional programming tutor-. : Department of Information and Computing Sciences, Utrecht University.
|
Jeuring, J.T., Jansson, P. & Amaral, C. (2012). Testing Type Class Laws. Utrecht: Department of Information and Computing Sciences, Utrecht University.
|
Jeuring, J.T., Jansson, P. & Amaral, C. (2012). Testing type class laws. In Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell. ACM.
|
Leather, S.P., Jeuring, J.T., Löh, A. & Schuur, B. (2012). Type-and-Transform Systems. : Department of Information and Computing Sciences, Utrecht University.
|
Yakushev, A., Jeuring, J.T., Jansson, P., Gerdes, A., Kiselyov, O. & Oliveira, B. (2011). Comparing Datatype Generic Libraries in Haskell. : Department of Information and Computing Sciences, Utrecht University.
|
Jeuring, J.T., Rodrigues Magalhães, J.P. & Heeren, B. Generic Programming for Domain Reasoners. In Z Horváth, V Zsók, P Achten, P Koopman & P Koopman (Eds.), Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming (pp. 113-128). Intellect.
|
Rodrigues Magalhães, J.P. & Jeuring, J.T. (2011). Generic Programming for Indexed Datatypes. : Department of Information and Computing Sciences, Utrecht University.
|
Rodrigues Magalhães, J.P. & Jeuring, J.T. (2011). Generic Programming for Indexed Datatypes. In ACM SIGPLAN 7th Workshop on Generic Programming.
|
Heeren, B. & Jeuring, J.T. (2011). Interleaving strategies. : Department of Information and Computing Sciences, Utrecht University.
|
Heeren, B.J. & Jeuring, J.T. Interleaving strategies. In J.H. Davenport, W.M. Farmer, F. Rabe & J. Urban (Eds.), Intelligent Computer Mathematics Vol. 6824. Lecture Notes in Computer Science (pp. 196-211). Springer.
|
Lodder, J. & Jeuring, J.T. (2011). Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten. : Department of Information and Computing Sciences, Utrecht University.
|
Gerdes, A., Heeren, B. & Jeuring, J.T. Properties of Exercise Strategies. In H Kirchner & C Muñoz (Eds.), Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming.
|
Koldenhof, E., Jeuring, J.T. & Ruth, S. van (2011). Rendement van objectgeori�eerd programmeren - een pilot-experiment met de BlueJ methode. : Department of Information and Computing Sciences, Utrecht University.
|
Heeren, B.J., Jeuring, J.T. & Gerdes, A. (2010). Specifying rewrite strategies for interactive exercises. In Journal of Mathematics in Computer Science (pp. 349-370). Birkhäuser Mathematik.
|
Noort, T. van, Yakushev, A.R., Holdermans, S., Jeuring, J.T., Heeren, B.J. & Rodrigues Magalhães, J.P. (2010). A Lightweight Approach to Datatype-generic Rewriting. : Department of Information and Computing Sciences, Utrecht University.
|
Rodrigues Magalhães, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. In Proceedings Haskell Symposium (pp. 37-48). ACM Press.
|
Rodrigues Magalhães, J.P., Dijkstra, A., Jeuring, J.T. & Löh, A. (2010). A generic deriving mechanism for Haskell. : Department of Information and Computing Sciences, Utrecht University.
|
Noort, T. van, Rodriguez, A., Holdermans, S., Jeuring, J.T., Heeren, B. & Rodrigues Magalhães, J.P. (2010). A lightweight approach to datatype-generic rewriting. Journal of functional programming, 20(3/4), 375-413.
|
Heeren, B.J. & Jeuring, J.T. (2010). Adapting Mathematical Domain Reasoners. In Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management Vol. 6167. Lecture Notes in Computer Science (pp. 315-330). Springer.
|
Heeren, B.J. & Jeuring, J.T. (2010). Adapting Mathematical Domain Reasoners. : Department of Information and Computing Sciences, Utrecht University.
|
Rodriguez, A. & Jeuring, J.T. (2010). Enumerating Well-Typed Terms Generically. In Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming Vol. 5812. Lecture Notes in Computer Science (pp. 93-116). Springer.
|
Steenbergen, M. van, Rodrigues Magalhães, J.P. & Jeuring, J.T. (2010). Generic selections of subexpressions. : Department of Information and Computing Sciences, Utrecht University.
|
Steenbergen, M. van, Rodrigues Magalhães, J.P. & Jeuring, J.T. (2010). Generic selections of subexpressions. In Proceedings Workshop on Generic Programming, WGP 2010 (pp. 37-48). ACM Press.
|
Biehler, R., Fischer, P., Hochmuth, R., Jeuring, J.T. & Wassong, T. (2010). How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. In Proceedings of Student Mobility and ICT: World in Transition.
|
Biehler, R., Fischer, P.R., Hochmuth, R., Jeuring, J.T. & Wassong, T. (2010). How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. : Department of Information and Computing Sciences, Utrecht University.
|
Rodrigues Magalhães, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2010). Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010 (pp. 33-42). ACM Press.
|
Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2010). Properties of exercise strategies. : Department of Information and Computing Sciences, Utrecht University.
|
Leather, S., Löh, A. & Jeuring, J.T. Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. In Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages Vol. 6041. Lecture Notes in Computer Science (pp. 159-178). Springer.
|
Gerdes, A., Jeuring, J.T. & Heeren, B. (2010). Using Strategies for Assessment of Programming Exercises. In Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010 (pp. 441-445). ACM Press.
|
Jeuring, J.T. & Heeren, B.J. (2009). An Interactive Exercise Player for Math-Bridge. In N. Brouwer, B. Giebers, B. Rienties & L. van Gastel (Eds.), Proceedings of Student Mobility and ICT: Dimensions of Transition (pp. 213-217).
|
Jeuring, J.T. & Heeren, B.J. (2009). An Interactive Exercise Player for Math-Bridge. onbekend: UU BETA ICS Departement Informatica.
|
Heeren, B.J. & Jeuring, J.T. (2009). Canonical Forms in Interactive Exercise Assistants. In L. Dixon. (Ed.), Proceedings of MKM 2009: Mathematical Knowledge Management, 8th International Conference (pp. 325-340). Springe]r, Editor = Dixon et al., L. , year = 2009 class = Wet.
|
Heeren, B.J. & Jeuring, J.T. (2009). Canonical Forms in Interactive Exercise Assistants. onbekend: UU BETA ICS Departement Informatica.
|
Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2009). Constructing Strategies for Programming. In J. Cordeiro, B. Shishkov, A. Verbraeck & M. Helfert (Eds.), Proceedings of CSEDU'09: 1st International Conference on Computer Supported Education (pp. 65-72).
|
Jeuring, J.T. & Rodriguez Yakushev, A. (2009). Enumerating Well-Typed Terms Generically. (UU-CSUU-CS-2009-017 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T., Rodrigues Magalhães, J.P. & Heeren, B.J. (2009). Generic Programming for Domain Reasoners. onbekend: UU BETA ICS Departement Informatica.
|
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. & Meertens, L.G.L.T. (2009). Geniaal programmeren - Generic programming at Utrecht. (UU-CS2009-001 ). onbekend: UU BETA ICS Departement Informatica.
|
Jeuring, J.T. & Meertens, L.G.L.T. (2009). Geniaal programmeren - Generic programming at Utrecht. In H. Bodlaender (Ed.), Fascination for computation, 25 jaar opleiding informatica (pp. 75-88).
|
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.
|
Rodrigues Magalhães, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2009). Optimizing Generics Is Easy! onbekend: UU BETA ICS Departement Informatica.
|
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.
|
Heeren, B.J., Jeuring, J.T. & Gerdes, A. (2009). Strategies for Exercises. (UU-CS2009-003 ). onbekend: UU BETA ICS Departement Informatica.
|
Gerdes, A., Jeuring, J.T. & Heeren, B.J. (2009). Using Strategies for Assessment of Programming Exercises. onbekend: UU BETA ICS Departement Informatica.
|
Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A Lightweight Approach to Datatype-Generic Rewriting. (UU-CS2008-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-CS2008-010 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Gerdes, A., Heeren, B.J. & Jeuring, J.T. (2008). Constructing Strategies for Programming. (UU-CS2008-49 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Gerdes, A., Heeren, B.J., Jeuring, J.T. & Stuurman, S. (2008). Feedback Services for Exercise Assistants. (UU-CS2008-018 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Rodriguez Yakushev, A., Holdermans, S., Loeh, A. & Jeuring, J.T. (2008). Generic programming with fixed points for mutually recursive datatypes. (UU-CS2008-019 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T., Leather, S. & Rodriguez Yakushev, A. (2008). Libraries for Generic Programming in {H}askell. (UU-CS2008-025 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Heeren, B.J. & Jeuring, J.T. (2008). Recognizig strategies. (UU-CS2008-012 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Heeren, B.J. & Jeuring, J.T. (2008). Recognizing Strategies. In Aart Middeldorp (Ed.), {WRS 2008: Reduction Strategies in Rewriting and Programming, 8th International Workshop}.
|
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.
|
Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. In S. Autexier, J. Campbell, J. Rubio, S. Volker, M. Suzuki & F. Wiedijk (Eds.), Intelligent Computer Mathematics. Springer-Verlag.
|
Heeren, B.J., Jeuring, J.T., Leeuwen, A.J. van & Gerdes, A. (2008). Specifying Strategies for Exercises. (UU-CS2008-001 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
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-CS2008-011 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T., Passier, H. & Stuurman, S. (2007). A Generic Framework for Developing Exercise Assistants. (UU-CS2007-017 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T., Passier, H. & Stuurman, S. (2007). A Generic Framework for Developing Exercise Assistants. In Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2007). Comparing approaches to generic programming in Haskell. In R.C. Backhouse, J. Gibbons, R. Hinze & J. Jeuring (Eds.), Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (pp. 72-149). Springer-Verlag.
|
Atanassow, F. & Jeuring, J.T. (2007). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming, special issue on Mathematics of Program Construction, 65, 72-107.
|
Backhouse, R.C., Gibbons, J., Hinze, R. & Jeuring, J.T. (Eds.). (2007). Datatype-Generic Programming, International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (LNCS, 4719). Springer-Verlag.
|
Jeuring, J.T. (2007). Feedback in exercise assistants. (UU-CS2007-036 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T. (2007). Feedback in exercise assistants. In Book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007.
|
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-CS2007-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-CS2007-027 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T. & Pasman, W. (2007). Strategy Feedback in an E-learning Tool for Mathematical Exercises. (CS-UU2007-007 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T. & Pasman, W. (2007). Strategy Feedback in an E-learning Tool for Mathematical Exercises. In V. Dötsch & F. Hering (Eds.), Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany (pp. 7-26).
|
Jansson, P., Jeuring, J.T., Cabenda, L., Engels, G., Kleerekoper, J., Mak, S., Overeem, M. & Visser, K. (2007). Testing properties of generic functions. In Z Horváth, V. Zsók & A. Butterfield (Eds.), Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers (pp. 217-234). Springer-Verlag.
|
Stuurman, S. & Jeuring, J.T. (2007). Turning an interactive tool implemented in Haskell into a web application -- An experience report. (UU-CS2007-008 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Lodder, J., Jeuring, J.T. & Passier, H. (2006). An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho & Gil A. (Eds.), Proceedings of the Second International Congress on Tools for Teaching Logic.
|
Lodder, J., Jeuring, J.T. & Passier, H. (2006). An interactive tool for manipulating logical formulae. (UU-CSAn interactive tool for manipulating logical formulae2006-040 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2006). Comparing approaches to generic programming in Haskell. (UU-CS2006-022 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Atanassow, F. & Jeuring, J.T. (2006). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. (UU-CS2006-025 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Passier, H. & Jeuring, J.T. (2006). Feedback in an interactive equation solver. (UU-CS2006- 021 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Passier, H. & Jeuring, J.T. (2006). Feedback in an interactive equation solver. In M. Seppälä, S. Xambo & O. Caprotti (Eds.), Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006 (pp. 53-68). Oy WebALT Inc..
|
Jeuring, J.T., Rodriguez Yakushev, A. & Smeding, G. (2006). Generating generic functions. (UU-CS2006-039 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T., Rodriguez, A. & Smeding, G. (2006). Generating generic functions. In R. Hinze (Ed.), Proceedings of the ACM Sigplan Workshop on Generic Programming, WGP'06 (pp. 23-32).
|
Jeuring, J.T. & Plasmeijer, R. (2006). Generic Programming for Software Evolution. (UU-CS2006-024 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Jeuring, J.T. & Plasmeijer, R. (2006). Generic Programming for Software Evolution. In Informal proceedings of the ERCIM workshop on Software Evolution.
|
Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez Yakushev, A. (2006). Generic Views on Data Types. (UU-CS2006-020 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez, A. (2006). Generic views on data types. In T. Uustalu (Ed.), Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006 (pp. 209-234). Springer-Verlag.
|
Jansson, P. & Jeuring, J.T. (2006). Testing properties of generic functions. (UU-CS2006-043 ). 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.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. (UU-CS2006-026 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2006). Typed Contracts for Functional Programming. In P. Wadler & M. Hagiya (Eds.), Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (pp. 208-225). Springer-Verlag.
|
Löh, A., Jeuring, J.T., Clarke, D.G., Hinze, R., Rodriguez, A. & Wit, J de (2005). Generic Haskell User's Guide -- Version 1.42 (Coral). (UU-CS2005-004 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Holdermans, S., Jeuring, J.T. & Löh, A. (2005). Generic Views on Data Types. (UU-CS2005-012 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Atanassow, F. & Jeuring, J.T. (2005). Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding. (UU-CS2005-008 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Passier, H. & Jeuring, J.T. (2005). Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. In A. Cristea, R. Carro & F. Garzotto (Eds.), Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005 (pp. 13-20).
|
Passier, H. & Jeuring, J.T. (2005). Using Schema Analysis for Feedback in Authoring Tools for Learning Environments -- short paper. In Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED'05.
|
Guerra, M.A.R.S., Jeuring, J.T. & Swierstra, S.D. (2005). Generic validation in an XPath-Haskell data binding. In Proceedings Plan-X, Programming Language Technologies for XML..
|
Atanassow, F. & Jeuring, J.T. (2004). Inferring Type Isomorphisms Generically. In D. Kozen (Ed.), Proceedings of the 7th International Conference on Mathematics of Program Construction. (pp. 32-53). Berlin: Springer-Verlag.
|
Passier, H. & Jeuring, J.T. (2004). Ontology Based Feedback Generation in Design-Orientated e-Learning Systems. In P. Isaias, P. Kommers & M. McPherson (Eds.), Proceedings of the IADIS International Conference, e-Society 2004. (pp. 992-996).
|
Hinze, R., Jeuring, J.T. & Löh, A. (2004). Type-indexed data types. Science of Computer Programming, 51(1-2), 117-151.
|
Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2004). UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman (Ed.), Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. (pp. 71-85). Berlin: Springer-Verlag.
|
Jeuring, J.T. & Peyton Jones, S. (Eds.). (2003). Advanced Functional Programming, AFP'02, Advanced Lectures. Berlijn: Springer-Verlag.
|
Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. (UU-CS2003-022 ). Utrecht: Universiteit Utrecht.
|
Löh, A., Clarke, D.G. & Jeuring, J.T. (2003). Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (pp. 141-152). Uppsala: ACM.
|
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: Applications. (UU-CS2003-016 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: Practice and Theory. (UU-CS2003-015 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: applications. In Generic Programming, Advanced Lectures Vol. 2793. IT Monitor (pp. 57-97). Springer-Verlag.
|
Hinze, R. & Jeuring, J.T. (2003). Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures Vol. 2793. IT Monitor (pp. 1-56). Springer-Verlag.
|
Gibbons, J. & Jeuring, J.T. (Eds.). (2003). Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. Amsterdam: Kluwer Academic Publishers.
|
Jeuring, J.T. (2003). Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, 8, 4-7.
|
Jeuring, J.T. (Ed.). (2003). Proceedings Haskell Workshop. HW'03. ACM Press.
|
Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. : Utrecht University.
|
Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003.
|
Schrage, M., Jeuring, J.T. & Swierstra, S.D. (2002). Combinators for layered software architectures. (UU-CS2002-030 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jeuring, J.T. & Hagg, P. (2002). Generic Programming for XML Tools. (UU-CS2002-023 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Heeren, B.J., Jeuring, J.T., Swierstra, S.D. & Alcocer, A. (2002). Improving type-error messages in functional languages. (UU-CS2002-009 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jansson, P. & Jeuring, J.T. (2002). Polytypic data conversion programs. Science of Computer Programming, 43(1), 35-75.
|
Clarke, D.G., Jeuring, J.T. & Löh, A. (2002). The Generic Haskell User's Guide. Version 1.23 - Beryl release. (UU-CS2002-047 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. (UU-CS2002-011 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Hinze, R., Jeuring, J.T. & Löh, A. (2002). Type-indexed data types. In E.A. Boiten & B. Möller (Eds.), Proceedings of the 6th International Conference on Mathematics of Program Construction (pp. 148-174). Springer-Verlag.
|
Jeuring, J.T. & Hinze, R. (2001). Functional Pearl. Weaving a Web. (UU-CS2001-33 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jansson, P. & Jeuring, J.T. (2001). Polytypic data conversion programs. (UU-CS2001-34 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Clarke, D.G., Hinze, R., Jeuring, J.T., Löh, A. & Wit, J. (2001). The Generic Haskell User's Guide. (UU-CS2001-26 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Hinze, R. & Jeuring, J.T. (2001). Weaving a web. Journal of functional programming, 11(6), 681-689.
|
Jansson, P. & Jeuring, J.T. (2000). A framework for polytypic programming on terms, with an application to rewriting. In J. Jeuring (Ed.), Proceedings Workshop on Generic Programming (WGP2000). Ponte de Lima, Portugal.
|
Jeuring, J.T. (2000). Proceedings Workshop on Generic Programming (WGP2000). (UU-CS2000-19 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jeuring, J.T. (Ed.). (2000). Proceedings Workshop on Generic Programming (WGP 2000).
|
Jeuring, J.T. & Swierstra, S.D. (1999). Advanced Programming Concepts in a Course on Grammars and Parsing. In M Felleisen, M. Hanus & S. Thompson (Eds.), Proceedings Workshop on Functional and Declarative Programming in Education (pp. 7-12). RICE COMP.
|
Backhouse, R., Jansson, P., Jeuring, J.T. & Meertens, L.G.L.T. (1999). Generic Programming: an introduction. In S.D. Swierstra, P.R. Henriques & J.N. Olivera (Eds.), Advanced Functional Programming (LNCS, 1608) (pp. 28-115). Springer-Verlag.
|
Jansson, P. & Jeuring, J.T. (1999). Polyptic Compact Printing and Parsing. In S.D. Swierstra (Ed.), Proceedings European Symposium on Programming ESOP'99 LNCS 1576 (pp. 273-287). Berlin: Springer.
|
Jansson, P. & Jeuring, J.T. (1998). Functional Pearl: Polytypic unification. Journal of functional programming, 8(5), 527-536.
|
Jeuring, J.T. (1998). Mathematics of Program Construction 4th International Conference, MPC'98 (LNCS, 1422). Berin, Germany: Springer-Verlag.
|
Jansson, P. & Jeuring, J.T. (1998). PolyLib: a polytypic function library. In Workshop on Generic Programming. Mastrand, Sweden.
|
Jansson, P. & Jeuring, J.T. (1997). PolyP --- a polytypic programming language extension. In Proceedings of POPL 97 (pp. 470-482). ACM Press.
|
Jeuring, J.T. & Swierstra, S.D. (1994). Bottom-up grammar analysis - A functional formulation. (UU-CS1994-01 ). Utrecht.
|
Jeuring, J.T. (1990). Algorithms from theorems. (RUU-CS90-03 ). Utrecht.
|
webmaster@cs.uu.nl,
Sat, 25 May 2013 19:11:18 +0200
←
Departement Informatica, Universiteit Utrecht