Erik Barendsen
Erik Barendsen
Radboud University & Open University of the Netherlands
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Conventional and uniqueness typing in graph rewrite systems
E Barendsen, S Smetsers
International Conference on Foundations of Software Technology and …, 1993
1451993
Uniqueness typing for functional languages with graph rewriting semantics
E Barendsen, S Smetsers
Mathematical structures in computer science 6 (6), 579-612, 1996
1291996
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28 (3), 321-336, 2002
1042002
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
S Smetsers, E Barendsen, M van Eekelen, R Plasmeijer
Graph Transformations in Computer Science, 358-379, 1994
661994
Introduction to lambda calculus
HP Barendregt, E Barendsen
Aspenćs Workshop on Implementation of Functional Languages, Göteborg …, 1988
641988
Term rewriting systems
E Barendsen
Cambridge University Press, 2003
562003
Concepts in K-9 computer science education
E Barendsen, L Mannila, B Demo, N Grgurina, C Izu, C Mirolo, ...
Proceedings of the 2015 ITiCSE on working group reports, 85-116, 2015
462015
Introduction to lambda calculus
HP Barendregt
441984
Relating teacher PCK and teacher practice using classroom observation
E Barendsen, I Henze
Research in Science Education 49 (5), 1141-1175, 2019
372019
Graph rewriting aspects of functional programming
E Barendsen, S Smetsers
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
371999
Towards an empirically validated model for assessment of code quality
M Stegeman, E Barendsen, S Smetsers
Proceedings of the 14th Koli Calling international conference on computing …, 2014
362014
Cognitive mechanisms of conceptual modelling
I Wilmont, S Hengeveld, E Barendsen, S Hoppenbrouwers
International Conference on Conceptual Modeling, 74-87, 2013
322013
Designing a rubric for feedback on code quality in programming courses
M Stegeman, E Barendsen, S Smetsers
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
312016
A system dynamics tool for higher education funding and quality policy analysis
B Oyo, D Williams, E Barendsen
Proceedings of the 24th International Conference of the System Dynamics Society, 2008
302008
Uniqueness type inference
E Barendsen, S Smetsers
International Symposium on Programming Language Implementation and Logic …, 1995
301995
A new informatics curriculum for secondary education in The Netherlands
E Barendsen, N Grgurina, J Tolboom
International conference on informatics in schools: Situation, evolution …, 2016
222016
Abstract reasoning in collaborative modeling
I Wilmont, E Barendsen, S Hoppenbrouwers, S Hengeveld
2012 45th Hawaii International Conference on System Sciences, 170-179, 2012
202012
Extending graph rewriting with copying
E Barendsen, S Smetsers
Graph Transformations in Computer Science, 51-70, 1994
191994
Computational thinking skills in Dutch secondary education: exploring pedagogical content knowledge
N Grgurina, E Barendsen, B Zwaneveld, K van Veen, I Stoker
Proceedings of the 14th Koli Calling International Conference on Computing …, 2014
182014
Computational thinking skills in dutch secondary education: exploring teacher's perspective
N Grgurina, E Barendsen, B Zwaneveld, K van Veen, I Stoker
Proceedings of the 9th workshop in primary and secondary computing education …, 2014
182014
The system can't perform the operation now. Try again later.
Articles 1–20