Regular ArticleEvaluating environments for functional programming
References (37)
- et al.
Explaining type inference
Science of Computer Programming
(1996) - et al.
Usability analysis of visual programming environments: a ‘cognitive dimensions’ framework
Journal of Visual Languages and Computing
(1996) - AIKINS, J. 1980, Prototypes and production rules: a knowledge representation for computer consultations, Stanford...
- AITKEN, S. 1996, An analysis of errors in interactive proof attempts, Dept. of Computer Science, Glasgow...
- et al.
Learning to program recursive functions
- BENTAL, D. 1995, Why doesn't my program work?: requirements for automated analysis of novices' computer programs,...
- et al.
Supporting the learning of recursive problem solving
Interactive Learning Environments
(1994) - et al.
Introduction to Functional Programming
(1988) - BLEWITT, A. 1998, A Java editor based on proofs-as-programs, Department of Artificial Intelligence, Edinburgh,...
- et al.
Programming plans and techniques
Searching for examples: an evaluation of an intermediate description language for a techniques editor
A recursive techniques editor for Prolog
Instructional Science
(1991)
Synthetic programming
Artificial Intelligence
(1985)
Problem solving by analogy: a source of errors in novice LISP programming
(1988)
Learning Prolog in a schema-based environment
Instructional Science
(1991)
Graphic editing of structured text
ML Works
(1996)
Cited by (3)
Evaluation of learning environments for object-oriented programming: measuring cognitive load with a novel measurement technique
2016, Interactive Learning EnvironmentsMOOGLE: A metamodel-based model search engine
2012, Software and Systems ModelingProofs-as-programs as a framework for the design of an analogy-based ML editor
2002, Formal Aspects of Computing
Copyright © 2000 Academic Press. All rights reserved.