default search action

combined dblp search
author search
venue search
publication search

ask others

Johan Jeuring

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/aiedu/LodderHJN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/LodderHJN21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jcal/TacomaDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcal/TacomaDJ21
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]
- view
- export record
  dblp key:
  - conf/sigcse/KeuningHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/KeuningHJ21
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
A Tutoring System to Learn Code Refactoring. SIGCSE 2021: 562-568
[p1]
- view
- export record
  dblp key:
  - series/ifip/BirdGHHJMMMSSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/aiedu/TacomaHJD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/TacomaHJD20
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30(4): 616-636 (2020)
[j20]
- view
- export record
  dblp key:
  - journals/chb/TacomaGSJD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chb/TacomaGSJD20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/ijsg/OverbeekLJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsg/OverbeekLJ20
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]
- view
- export record
  dblp key:
  - conf/haskell/KampsHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KampsHJ20
Sander Kamps, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP 2020: 67-79
[c87]
- view
- export record
  dblp key:
  - conf/ifl/NausJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/NausJ20
Nico Naus, Johan Jeuring:
End-user feedback in multi-user workflow systems. IFL 2020: 23-32
[c86]
- view
- export record
  dblp key:
  - conf/iticse/FincherJMDBHHHL20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/FincherJMDBHHHL20a
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 (Working Group Reports) 2020: 21-50
[c85]
- view
- export record
  dblp key:
  - conf/iticse/FincherJMDBHHHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/FincherJMDBHHHL20
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]
- view
- export record
  dblp key:
  - conf/kolicalling/KeuningHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/KeuningHJ20
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Student Refactoring Behaviour in a Programming Tutor. Koli Calling 2020: 4:1-4:10
[c83]
- view
- export record
  dblp key:
  - conf/kolicalling/JongJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/JongJ20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07510
Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Model-Driven Synthesis for Programming Tutors. CoRR abs/2011.07510 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jcal/LodderHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcal/LodderHJ19
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]
- view
- export record
  dblp key:
  - journals/jeric/KeuningJH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jeric/KeuningJH19
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]
- view
- export record
  dblp key:
  - conf/aied/RusetiLGDJG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/RusetiLGDJG19
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]
- view
- export record
  dblp key:
  - conf/aied/TacomaHJD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/TacomaHJD19
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) 2019: 281-285
[c80]
- view
- export record
  dblp key:
  - conf/chi/ConstantinLFAPN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/ConstantinLFAPN19
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]
- view
  - electronic edition @ isls.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cscl/LalaGRJDDGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscl/LalaGRJDDGH19
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]
- view
- export record
  dblp key:
  - conf/ectel/BentJH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/BentJH19
Renate van der Bent, Johan Jeuring, Bastiaan Heeren:
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL 2019: 112-126
[c77]
- view
- export record
  dblp key:
  - conf/gala/LalaJG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gala/LalaJG19
Raja Lala, Johan Jeuring, Marcell van Geest:
Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. GALA 2019: 169-179
[c76]
- view
- export record
  dblp key:
  - conf/gala/LalaCJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gala/LalaCJ19
Raja Lala, Gemma Corbalan, Johan Jeuring:
Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. GALA 2019: 322-331
[c75]
- view
- export record
  dblp key:
  - conf/iticse/KeuningHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningHJ19
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
How Teachers Would Help Students to Improve Their Code. ITiCSE 2019: 119-125
[c74]
- view
- export record
  dblp key:
  - journals/corr/abs-2002-12552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12552
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/ectel/HeerenJSDBTKWGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/HeerenJSDBTKWGC18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/euspn/Pel-LittelZSNJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euspn/Pel-LittelZSNJ18
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]
- view
- export record
  dblp key:
  - conf/lats/BuwaldaJN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lats/BuwaldaJN18
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]
- view
- export record
  dblp key:
  - journals/aiedu/GerdesHJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/GerdesHJB17
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]
- view
  - electronic edition @ seriousgamessociety.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ijsg/BottinoJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsg/BottinoJ17
Rosa Maria Bottino, Johan Jeuring:
Guest editorial. Int. J. Serious Games 4(3) (2017)
[c70]
- view
- export record
  dblp key:
  - conf/aied/HeerenJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/HeerenJ17
Bastiaan Heeren, Johan Jeuring:
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED 2017: 77-89
[c69]
- view
- export record
  dblp key:
  - conf/iticse/BorstlerSTADHJK17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BorstlerSTADHJK17a
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]
- view
- export record
  dblp key:
  - conf/iticse/KeuningHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningHJ17
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Code Quality Issues in Student Programs. ITiCSE 2017: 110-115
[c67]
- view
- export record
  dblp key:
  - conf/iticse/BorstlerSTADHJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BorstlerSTADHJK17
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]
- view
- export record
  dblp key:
  - conf/kolicalling/ArendsKHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/ArendsKHJ17
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]
- view
- export record
  dblp key:
  - conf/kolicalling/EsJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/EsJ17
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]
- view
- export record
  dblp key:
  - conf/sigcse/LodderHJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LodderHJ17
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE 2017: 387-392
2016
[j14]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/LodderHJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/LodderHJ16
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22(8): 1097-1122 (2016)
[c63]
- view
- export record
  dblp key:
  - conf/iticse/KeuningJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/KeuningJH16
Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE 2016: 41-46
[c62]
- view
- export record
  dblp key:
  - conf/sfp/NausJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/NausJ16
Nico Naus, Johan Jeuring:
Building a Generic Feedback System for Rule-Based Problems. TFP 2016: 172-191
[e9]
- view
- export record
  dblp key:
  - conf/gala/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gala/2016
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]
[e8]
- view
- export record
  dblp key:
  - journals/corr/JeuringM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JeuringM16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/LeatherJLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LeatherJLS15
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112: 145-169 (2015)
[c61]
- view
- export record
  dblp key:
  - conf/ectel/JeuringGHHIJMSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/JeuringGHHIJMSW15
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]
- view
- export record
  dblp key:
  - conf/gala/SmaleOJG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gala/SmaleOJG15
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]
- view
- export record
  dblp key:
  - conf/sfp/AlkemadeJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/AlkemadeJ15
Thijs Alkemade, Johan Jeuring:
Type Class Instances for Type-Level Lambdas in Haskell. TFP 2015: 60-84
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LodderHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LodderHJ15
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. CoRR abs/1507.03671 (2015)
2014
[j12]
- view
- export record
  dblp key:
  - journals/ce/VaessenPJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ce/VaessenPJ14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/HeerenJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeerenJ14
Bastiaan Heeren, Johan Jeuring:
Feedback services for stepwise exercises. Sci. Comput. Program. 88: 110-129 (2014)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/GayoJR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GayoJR14
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]
- view
- export record
  dblp key:
  - conf/cserc/JeuringBGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cserc/JeuringBGH14
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]
- view
- export record
  dblp key:
  - conf/cserc/KeuningHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cserc/KeuningHJ14
Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Strategy-based feedback in a programming tutor. CSERC 2014: 43-54
[c56]
- view
- export record
  dblp key:
  - conf/pepm/LeatherJLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LeatherJLS14
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. PEPM 2014: 109-120
[c55]
- view
- export record
  dblp key:
  - journals/corr/OlmerHJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OlmerHJ14
Tim Olmer, Bastiaan Heeren, Johan Jeuring:
Evaluating Haskell expressions in a tutoring environment. TFPIE 2014: 50-66
[e7]
- view
- export record
  dblp key:
  - conf/icfp/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2014
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]
- view
- export record
  dblp key:
  - conf/birthday/Jeuring13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jeuring13
Johan Jeuring:
Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code 2013: 258-272
[c53]
- view
- export record
  dblp key:
  - conf/gala/JeuringRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gala/JeuringRP13
Johan Jeuring, Rick van Rooij, Nicolas Pronost:
The 5/10 Method: A Method for Designing Educational Games. GALA 2013: 364-369
[c52]
- view
- export record
  dblp key:
  - conf/gkr/GayoJR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gkr/GayoJR13
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]
- view
- export record
  dblp key:
  - conf/icfp/BezirgiannisJL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BezirgiannisJL13
Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather:
Usage of generic programming on hackage: experience report. WGP@ICFP 2013: 47-52
[c50]
- view
- export record
  dblp key:
  - conf/icse/HastjarjantoJL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HastjarjantoJL13
Tom Hastjarjanto, Johan Jeuring, Sean Leather:
A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE 2013: 8-14
[c49]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/Andres13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Andres13
Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. CICM Workshops 2013
2012
[c48]
- view
- export record
  dblp key:
  - conf/ectel/GerdesHJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/GerdesHJ12
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]
- view
- export record
  dblp key:
  - conf/ectel/JeuringGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/JeuringGH12
Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458
[c46]
- view
- export record
  dblp key:
  - conf/haskell/JeuringJA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/JeuringJA12
Johan Jeuring, Patrik Jansson, Cláudio Amaral:
Testing type class laws. Haskell 2012: 49-60
[c45]
- view
- export record
  dblp key:
  - conf/icfp/KeuchelJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KeuchelJ12
Steven Keuchel, Johan Jeuring:
Generic conversions of abstract syntax representations. WGP@ICFP 2012: 57-68
[c44]
- view
- export record
  dblp key:
  - conf/iticse/GerdesJH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/GerdesJH12
Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
An interactive functional programming tutor. ITiCSE 2012: 250-255
[c43]
- view
- export record
  dblp key:
  - conf/lak/RoijersJF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lak/RoijersJF12
Diederik M. Roijers, Johan Jeuring, Ad Feelders:
Probability estimation and a competence model for rule based e-tutoring systems. LAK 2012: 255-258
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/2012
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]
- view
- export record
  dblp key:
  - conf/cefp/JeuringGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/JeuringGH11
Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45
[c41]
- view
- export record
  dblp key:
  - conf/icfp/MagalhaesJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MagalhaesJ11
José Pedro Magalhães, Johan Jeuring:
Generic programming for indexed datatypes. WGP@ICFP 2011: 37-46
[c40]
- view
- export record
  dblp key:
  - conf/mkm/HeerenJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeerenJ11
Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211
2010
[j9]
- view
- export record
  dblp key:
  - journals/jfp/NoortYHJHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NoortYHJHM10
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]
- view
- export record
  dblp key:
  - journals/mics/HeerenJG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/HeerenJG10
Bastiaan Heeren, Johan Jeuring, Alex Gerdes:
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3(3): 349-370 (2010)
[c39]
- view
- export record
  dblp key:
  - conf/aisc/HeerenJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/HeerenJ10
Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330
[c38]
- view
- export record
  dblp key:
  - conf/haskell/MagalhaesDJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MagalhaesDJL10
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh:
A generic deriving mechanism for Haskell. Haskell 2010: 37-48
[c37]
- view
- export record
  dblp key:
  - conf/icfp/SteenbergenMJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SteenbergenMJ10
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. ICFP-WGP 2010: 37-48
[c36]
- view
- export record
  dblp key:
  - conf/pepm/MagalhaesHJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/MagalhaesHJL10
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh:
Optimizing generics is easy! PEPM 2010: 33-42
[c35]
- view
- export record
  dblp key:
  - conf/sigcse/GerdesJH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/GerdesJH10
Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445
[c34]
- view
- export record
  dblp key:
  - journals/corr/abs-1012-5561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-5561
Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. IWS 2010: 21-34
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1005-4762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-4762
Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/HeerenJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HeerenJ09
Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. Electron. Notes Theor. Comput. Sci. 237: 91-106 (2009)
[c33]
- view
- export record
  dblp key:
  - conf/aaip/YakushevJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/YakushevJ09
Alexey Rodriguez Yakushev, Johan Jeuring:
Enumerating Well-Typed Terms Generically. AAIP 2009: 93-116
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/GerdesHJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/GerdesHJ09
Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Constructing Strategies for Programming. CSEDU (1) 2009: 65-72
[c31]
- view
- export record
  dblp key:
  - conf/icfp/YakushevHLJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/YakushevHLJ09
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring:
Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244
[c30]
- view
- export record
  dblp key:
  - conf/ifl/LeatherLJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LeatherLJ09
Sean Leather, Andres Löh, Johan Jeuring:
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL 2009: 159-178
[c29]
- view
- export record
  dblp key:
  - conf/mkm/HeerenJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeerenJ09
Bastiaan Heeren, Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340
[c28]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/JeuringMH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/JeuringMH09
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128
2008
[c27]
- view
- export record
  dblp key:
  - conf/afp/JeuringLMY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/JeuringLMY08
Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229
[c26]
- view
- export record
  dblp key:
  - conf/aisc/HeerenJLG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/HeerenJLG08
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
[c25]
- view
- export record
  dblp key:
  - conf/haskell/RodriguezJJGKO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/RodriguezJJGKO08
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]
- view
- export record
  dblp key:
  - conf/icfp/NoortRHJH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NoortRHJH08
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
[c23]
- view
- export record
  dblp key:
  - conf/icfp/DolstraHHHJLLMRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DolstraHHHJLLMRS08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/AtanassowJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AtanassowJ07
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)
[e5]
- view
- export record
  dblp key:
  - conf/ssdgp/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdgp/2006
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/evol/JeuringP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evol/JeuringP06
Johan Jeuring, Rinus Plasmeijer:
Generic Programming for Software Evolution. EVOL 2006: 97-104
[c21]
- view
- export record
  dblp key:
  - conf/flops/HinzeJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/HinzeJL06
Ralf Hinze, Johan Jeuring, Andres Löh:
Typed Contracts for Functional Programming. FLOPS 2006: 208-225
[c20]
- view
- export record
  dblp key:
  - conf/icfp/JeuringRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/JeuringRS06
Johan Jeuring, Alexey Rodriguez, Gideon Smeding:
Generating generic functions. ICFP-WGP 2006: 23-32
[c19]
- view
- export record
  dblp key:
  - conf/ifl/JanssonJCEKMOV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/JanssonJCEKMOV06
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]
- view
- export record
  dblp key:
  - conf/mpc/HoldermansJLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HoldermansJLR06
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
Generic Views on Data Types. MPC 2006: 209-234
[c17]
- view
- export record
  dblp key:
  - conf/ssdgp/HinzeJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdgp/HinzeJL06
Ralf Hinze, Johan Jeuring, Andres Löh:
Comparing Approaches to Generic Programming in Haskell. SSDGP 2006: 72-149
2005
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/aied/PassierJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/PassierJ05
Harrie Passier, Johan Jeuring:
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913
2004
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/HinzeJL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HinzeJL04
Ralf Hinze, Johan Jeuring, Andres Löh:
Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004)
[c15]
- view
- export record
  dblp key:
  - conf/mpc/AtanassowJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AtanassowJ04
Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically. MPC 2004: 32-53
[c14]
- view
- export record
  dblp key:
  - conf/padl/AtanassowCJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AtanassowCJ04
Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
2003
[c13]
- view
- export record
  dblp key:
  - conf/ac/HinzeJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/HinzeJ03
Ralf Hinze, Johan Jeuring:
Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56
[c12]
- view
- export record
  dblp key:
  - conf/ac/HinzeJ03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/HinzeJ03a
Ralf Hinze, Johan Jeuring:
Generic Haskell: Applications. Generic Programming 2003: 57-96
[c11]
- view
- export record
  dblp key:
  - conf/icfp/LohCJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/LohCJ03
Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic Haskell. ICFP 2003: 141-152
[e4]
- view
- export record
  dblp key:
  - conf/afp/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/2002
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]
[e3]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2-1/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2-1/2002
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/JanssonJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JanssonJ02
Patrik Jansson, Johan Jeuring:
Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)
[c10]
- view
- export record
  dblp key:
  - conf/mpc/HinzeJL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HinzeJL02
Ralf Hinze, Johan Jeuring, Andres Löh:
Type-Indexed Data Types. MPC 2002: 148-174
2001
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HinzeJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HinzeJ01
Ralf Hinze, Johan Jeuring:
Weaving a web. J. Funct. Program. 11(6): 681-689 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c9]
- view
- export record
  dblp key:
  - conf/esop/JanssonJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JanssonJ99
Patrik Jansson, Johan Jeuring:
Polytypic Compact Printing and Parsing. ESOP 1999: 273-287
1998
[j2]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/jfp/JanssonJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/JanssonJ98
Patrik Jansson, Johan Jeuring:
Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/afp/BackhouseJJM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/BackhouseJJM98
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens:
Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
[e2]
- view
- export record
  dblp key:
  - conf/mpc/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/1998
Johan Jeuring:
Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Lecture Notes in Computer Science 1422, Springer 1998, ISBN 3-540-64591-8 [contents]
1997
[c7]
- view
- export record
  dblp key:
  - conf/popl/JanssonJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/JanssonJ97
Patrik Jansson, Johan Jeuring:
Polyp - A Polytypic Programming Language. POPL 1997: 470-482
1996
[c6]
- view
- export record
  dblp key:
  - conf/afp/JeuringJ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/JeuringJ96
Johan Jeuring, Patrik Jansson:
Polytypic Programming. Advanced Functional Programming 1996: 68-114
1995
[c5]
- view
- export record
  dblp key:
  - conf/afp/MeijerJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/MeijerJ95
Erik Meijer, Johan Jeuring:
Merging Monads and Folds for Functional Programming. Advanced Functional Programming 1995: 228-266
[c4]
- view
- export record
  dblp key:
  - conf/fpca/Jeuring95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/Jeuring95
Johan Jeuring:
Polytypic Pattern Matching. FPCA 1995: 238-248
[c3]
- view
- export record
  dblp key:
  - conf/fpca/JeuringS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/JeuringS95
Johan Jeuring, S. Doaitse Swierstra:
Constructing Functional Programs for Grammar Analysis Problems. FPCA 1995: 259-269
[e1]
- view
- export record
  dblp key:
  - conf/afp/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/1995
Johan Jeuring, Erik Meijer:
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text. Lecture Notes in Computer Science 925, Springer 1995, ISBN 3-540-59451-5 [contents]
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/algorithmica/Jeuring94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithmica/Jeuring94
Johan Jeuring:
The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Algorithmica 11(2): 146-184 (1994)
[c2]
- view
- export record
  dblp key:
  - conf/esop/JeuringS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JeuringS94
Johan Jeuring, S. Doaitse Swierstra:
Bottom-up Grammar Analysis - A Functional Formulation. ESOP 1994: 317-332
1990
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Jeuring90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Jeuring90
Johan Jeuring:
Algorithms for Theorems. Programming Concepts and Methods 1990: 247-266

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.