A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
Explorations: structured labs for first-time programmers
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
An Experiment to Assess the Benefits of Inter-Module Type Checking
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Empirical study of novice programming with plans and objects
ITiCSE-WGR '06 Working group reports on ITiCSE on Innovation and technology in computer science education
A Framework For An Automated Problem Solving And Program Development Environment
Journal of Integrated Design & Process Science
The role of errors in learning computer software
Computers & Education
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Design Disciplines and Non-specific Transfer
ISSEP '08 Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking
On compiler error messages: what they say and what they mean
Advances in Human-Computer Interaction
A Motivation Guided Holistic Rehabilitation of the First Programming Course
ACM Transactions on Computing Education (TOCE)
The function, and dysfunction, of information sources in learning functional programming
Journal of Computing Sciences in Colleges
| Hi-index | 0.00 |