


Остановите войну!
for scientists:


default search action
Johan Jeuring
Person information

- affiliation: Utrecht University, Netherlands
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c94]Niek Mulleners
, Johan Jeuring
, Bastiaan Heeren
:
Program Synthesis Using Example Propagation. PADL 2023: 20-36 - 2022
- [c93]Johan Jeuring
, Hieke Keuning
, Samiha Marwan
, Dennis Bouvier
, Cruz Izu
, Natalie Kiesler
, Teemu Lehtinen
, Dominic Lohr
, Andrew Petersen
, Sami Sarsa
:
Towards Giving Timely Formative Feedback and Hints to Novice Programmers. ITiCSE-WGR 2022: 95-115 - [c92]Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa
:
Steps Learners Take when Solving Programming Tasks, and How Learning Environments (Should) Respond to Them. ITiCSE (2) 2022: 570-571 - [c91]Imke de Jong
, Johan Jeuring
:
Developing a Self-efficacy Scale for Computational Thinking (CT-SES). Koli Calling 2022: 28:1-28:2 - [c90]Imke de Jong
, Bo Sichterman
, Johan Jeuring
:
Examining the Use of Computational Thinking Skills When Solving Bebras Tasks. Koli Calling 2022: 31:1-31:2 - [i4]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. CoRR abs/2210.13873 (2022) - 2021
- [j23]Josje Lodder
, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis:
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. 31(1): 99-133 (2021) - [j22]Sietske Tacoma
, Paul Drijvers, Johan Jeuring:
Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. J. Comput. Assist. Learn. 37(2): 319-332 (2021) - [c89]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
A Tutoring System to Learn Code Refactoring. SIGCSE 2021: 562-568 - [p1]Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers
, Wouter Swierstra, Nicolas Wu
:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - 2020
- [j21]Sietske Tacoma
, Bastiaan Heeren, Johan Jeuring
, Paul Drijvers
:
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30(4): 616-636 (2020) - [j20]Sietske Tacoma
, Corine Geurts, Bert Slof, Johan Jeuring, Paul Drijvers:
Enhancing learning with inspectable student models: Worth the effort? Comput. Hum. Behav. 107: 106276 (2020) - [j19]Timo Overbeek, Raja Lala, Johan Jeuring:
Scenario smells: signalling potential problems in dialogue scenarios in a serious game. Int. J. Serious Games 7(4): 51-73 (2020) - [c88]Sander Kamps
, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP 2020: 67-79 - [c87]Nico Naus, Johan Jeuring:
End-user feedback in multi-user workflow systems. IFL 2020: 23-32 - [c86]Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson
, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce
, Andrew Petersen:
Notional Machines in Computing Education: The Education of Attention. ITiCSE-WGR 2020: 21-50 - [c85]Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce
, Andrew Petersen:
Capturing and Characterising Notional Machines. ITiCSE 2020: 502-503 - [c84]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Student Refactoring Behaviour in a Programming Tutor. Koli Calling 2020: 4:1-4:10 - [c83]Imke de Jong, Johan Jeuring:
Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking. Koli Calling 2020: 35:1-35:10 - [i3]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Model-Driven Synthesis for Programming Tutors. CoRR abs/2011.07510 (2020)
2010 – 2019
- 2019
- [j18]Josje Lodder
, Bastiaan Heeren, Johan Jeuring:
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. 35(5): 620-632 (2019) - [j17]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. 19(1): 3:1-3:43 (2019) - [c82]Stefan Ruseti, Raja Lala, Gabriel Gutu-Robu
, Mihai Dascalu
, Johan Jeuring, Marcell van Geest:
Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning. AIED (2) 2019: 242-246 - [c81]Sietske Tacoma
, Bastiaan Heeren, Johan Jeuring
, Paul Drijvers
:
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) 2019: 281-285 - [c80]Aurora Constantin, Catherine Lai, Elaine Farrow
, Beatrice Alex
, Ruth Pel-Littel, Henk Herman Nap, Johan Jeuring:
"Why is the Doctor a Man": Reactions of Older Adults to a Virtual Training Doctor. CHI Extended Abstracts 2019 - [c79]Raja Lala, Marcell van Geest, Stefan Ruseti, Johan Jeuring, Mihai Dascalu, Jordy van Dortmont, Gabriel Gutu-Robu, Michiel Hulsbergen:
Enhancing Free-text Interactions in a Communication Skills Learning Environment. CSCL 2019 - [c78]Renate van der Bent, Johan Jeuring
, Bastiaan Heeren
:
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL 2019: 112-126 - [c77]Raja Lala, Johan Jeuring, Marcell van Geest:
Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. GALA 2019: 169-179 - [c76]Raja Lala, Gemma Corbalan, Johan Jeuring:
Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. GALA 2019: 322-331 - [c75]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
How Teachers Would Help Students to Improve Their Code. ITiCSE 2019: 119-125 - [c74]Josje Lodder
, Bastiaan Heeren, Johan Jeuring:
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE 2019: 17-34 - 2018
- [c73]Bastiaan Heeren, Johan Jeuring, Sergey A. Sosnovsky, Paul Drijvers, Peter Boon, Sietske Tacoma, Jesse Koops, Armin Weinberger, Brigitte Grugeon-Allys, Françoise Chenevotot-Quentin, Jorn van Wijk, Ferdinand van Walree:
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 2018: 262-276 - [c72]Ruth Pel-Littel, Henk van Zeijts, Nadine Schram, Henk Herman Nap, Johan Jeuring:
A training simulation for practicing shared decision making for older patients. EUSPN/ICTH 2018: 287-293 - [c71]Milo Buwalda, Johan Jeuring, Nico Naus
:
Use expert knowledge instead of data: generating hints for hour of code exercises. L@S 2018: 32:1-32:4 - 2017
- [j16]Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
:
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27(1): 65-100 (2017) - [j15]Rosa Maria Bottino, Johan Jeuring:
Guest editorial. Int. J. Serious Games 4(3) (2017) - [c70]Bastiaan Heeren, Johan Jeuring:
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED 2017: 77-89 - [c69]Jürgen Börstler
, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran
, Sara Hooshangi
, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar:
"I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report. ITiCSE-WGR 2017: 70-85 - [c68]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Code Quality Issues in Student Programs. ITiCSE 2017: 110-115 - [c67]Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar:
"I know it when I see it": Perceptions of Code Quality. ITiCSE 2017: 389 - [c66]Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling 2017: 2-9 - [c65]Nienke van Es, Johan Jeuring:
Designing and comparing two scratch-based teaching approaches for students aged 10-12 years. Koli Calling 2017: 178-182 - [c64]Josje Lodder
, Bastiaan Heeren, Johan Jeuring:
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE 2017: 387-392 - 2016
- [j14]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22(8): 1097-1122 (2016) - [c63]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE 2016: 41-46 - [c62]Nico Naus
, Johan Jeuring:
Building a Generic Feedback System for Rule-Based Problems. TFP 2016: 172-191 - [e10]Rosa Bottino, Johan Jeuring, Remco C. Veltkamp:
Games and Learning Alliance - 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings. Lecture Notes in Computer Science 10056, Springer 2016, ISBN 978-3-319-50181-9 [contents] - [e9]Johan Jeuring, Jay McCarthy:
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016. EPTCS 230, 2016 [contents] - 2015
- [j13]Sean Leather
, Johan Jeuring, Andres Löh
, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112: 145-169 (2015) - [c61]Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema
, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt
, Frank Wijmans, Majanne Wolters, Henk van Zeijts:
Communicate! - A Serious Game for Communication Skills -. EC-TEL 2015: 513-517 - [c60]Stephanie de Smale, Tom Overmans, Johan Jeuring, Liesbeth van de Grint:
The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. GALA 2015: 506-516 - [c59]Thijs Alkemade, Johan Jeuring:
Type Class Instances for Type-Level Lambdas in Haskell. TFP 2015: 60-84 - [i2]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. CoRR abs/1507.03671 (2015) - 2014
- [j12]Bram E. Vaessen, Frans J. Prins
, Johan Jeuring
:
University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Comput. Educ. 72: 196-208 (2014) - [j11]Bastiaan Heeren, Johan Jeuring:
Feedback services for stepwise exercises. Sci. Comput. Program. 88: 110-129 (2014) - [j10]José Emilio Labra Gayo
, Johan Jeuring, Jose María Álvarez Rodríguez
:
Inductive representations of RDF graphs. Sci. Comput. Program. 95: 135-146 (2014) - [c58]Johan Jeuring, L. Thomas van Binsbergen
, Alex Gerdes, Bastiaan Heeren:
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC 2014: 31-40 - [c57]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Strategy-based feedback in a programming tutor. CSERC 2014: 43-54 - [c56]Sean Leather, Johan Jeuring, Andres Löh
, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. PEPM 2014: 109-120 - [c55]Tim Olmer, Bastiaan Heeren, Johan Jeuring:
Evaluating Haskell expressions in a tutoring environment. TFPIE 2014: 50-66 - [e8]Johan Jeuring, Manuel M. T. Chakravarty:
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-2873-9 [contents] - 2013
- [c54]Johan Jeuring:
Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code 2013: 258-272 - [c53]Johan Jeuring, Rick van Rooij, Nicolas Pronost:
The 5/10 Method: A Method for Designing Educational Games. GALA 2013: 364-369 - [c52]José Emilio Labra Gayo
, Johan Jeuring, Jose María Álvarez Rodríguez
:
Inductive Triple Graphs: A Purely Functional Approach to Represent RDF. GKR 2013: 92-110 - [c51]Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather
:
Usage of generic programming on hackage: experience report. WGP@ICFP 2013: 47-52 - [c50]Tom Hastjarjanto, Johan Jeuring, Sean Leather
:
A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE 2013: 8-14 - [c49]Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. CICM Workshops 2013 - 2012
- [c48]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL 2012: 383-388 - [c47]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458 - [c46]Johan Jeuring, Patrik Jansson
, Cláudio Amaral:
Testing type class laws. Haskell 2012: 49-60 - [c45]Steven Keuchel, Johan Jeuring:
Generic conversions of abstract syntax representations. WGP@ICFP 2012: 57-68 - [c44]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
An interactive functional programming tutor. ITiCSE 2012: 250-255 - [c43]Diederik M. Roijers, Johan Jeuring, Ad Feelders:
Probability estimation and a competence model for rule based e-tutoring systems. LAK 2012: 255-258 - [e7]Johan Jeuring, John A. Campbell, Jacques Carette
, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
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, Springer 2012, ISBN 978-3-642-31373-8 [contents] - 2011
- [c42]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45 - [c41]José Pedro Magalhães, Johan Jeuring:
Generic programming for indexed datatypes. WGP@ICFP 2011: 37-46 - [c40]Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211 - 2010
- [j9]Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães:
A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010) - [j8]Bastiaan Heeren, Johan Jeuring, Alex Gerdes:
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3(3): 349-370 (2010) - [c39]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330 - [c38]José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
:
A generic deriving mechanism for Haskell. Haskell 2010: 37-48 - [c37]Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. ICFP-WGP 2010: 37-48 - [c36]José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
:
Optimizing generics is easy! PEPM 2010: 33-42 - [c35]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445 - [c34]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. IWS 2010: 21-34 - [i1]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)
2000 – 2009
- 2009
- [j7]Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. Electron. Notes Theor. Comput. Sci. 237: 91-106 (2009) - [c33]Alexey Rodriguez Yakushev, Johan Jeuring:
Enumerating Well-Typed Terms Generically. AAIP 2009: 93-116 - [c32]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Constructing Strategies for Programming. CSEDU (1) 2009: 65-72 - [c31]Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh
, Johan Jeuring:
Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244 - [c30]Sean Leather
, Andres Löh
, Johan Jeuring:
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL 2009: 159-178 - [c29]Bastiaan Heeren, Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340 - [c28]Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128 - 2008
- [c27]Johan Jeuring, Sean Leather
, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229 - [c26]Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445 - [c25]Alexey Rodriguez, Johan Jeuring, Patrik Jansson
, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira:
Comparing libraries for generic programming in haskell. Haskell 2008: 111-122 - [c24]Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24 - [c23]Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh
, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. ICFP 2008: 397-408 - 2007
- [j6]Frank Atanassow, Johan Jeuring:
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Sci. Comput. Program. 65(2): 72-107 (2007) - [e6]Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring:
Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Lecture Notes in Computer Science 4719, Springer 2007, ISBN 978-3-540-76785-5 [contents] - 2006
- [c22]Johan Jeuring, Rinus Plasmeijer:
Generic Programming for Software Evolution. EVOL 2006: 97-104 - [c21]Ralf Hinze, Johan Jeuring, Andres Löh
:
Typed Contracts for Functional Programming. FLOPS 2006: 208-225 - [c20]Johan Jeuring, Alexey Rodriguez, Gideon Smeding:
Generating generic functions. ICFP-WGP 2006: 23-32 - [c19]Patrik Jansson
, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser:
Testing Properties of Generic Functions. IFL 2006: 217-234 - [c18]Stefan Holdermans, Johan Jeuring, Andres Löh
, Alexey Rodriguez:
Generic Views on Data Types. MPC 2006: 209-234 - [c17]Ralf Hinze, Johan Jeuring, Andres Löh:
Comparing Approaches to Generic Programming in Haskell. SSDGP 2006: 72-149 - 2005
- [c16]Harrie Passier, Johan Jeuring:
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913 - 2004
- [j5]Ralf Hinze, Johan Jeuring, Andres Löh
:
Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004) - [c15]Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically. MPC 2004: 32-53 - [c14]Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85 - 2003
- [c13]Ralf Hinze, Johan Jeuring:
Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56 - [c12]Ralf Hinze, Johan Jeuring:
Generic Haskell: Applications. Generic Programming 2003: 57-96 - [c11]Andres Löh
, Dave Clarke, Johan Jeuring:
Dependency-style generic Haskell. ICFP 2003: 141-152 - [e5]Johan Jeuring, Simon L. Peyton Jones:
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, ISBN 3-540-40132-6 [contents] - [e4]Johan Jeuring:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003. ACM 2003, ISBN 978-1-58113-758-3 [contents] - [e3]Jeremy Gibbons, Johan Jeuring:
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. IFIP Conference Proceedings 243, Kluwer 2003, ISBN 1-4020-7374-7 [contents] - 2002
- [j4]Patrik Jansson
, Johan Jeuring:
Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002) - [c10]Ralf Hinze, Johan Jeuring, Andres Löh
:
Type-Indexed Data Types. MPC 2002: 148-174 - 2001
- [j3]Ralf Hinze, Johan Jeuring:
Weaving a web. J. Funct. Program. 11(6): 681-689 (2001)
1990 – 1999
- 1999
- [c9]Patrik Jansson
, Johan Jeuring:
Polytypic Compact Printing and Parsing. ESOP 1999: 273-287 - 1998
- [j2]Patrik Jansson
, Johan Jeuring:
Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998) - [c8]Roland Carl Backhouse, Patrik Jansson
, Johan Jeuring, Lambert G. L. T. Meertens:
Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115 - [e2]