Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Heeren, Bastiaan - Department of Computer Science, Open Universiteit, Nederland
A Lightweight Approach to Datatype-Generic Rewriting Thomas van Noort1
Improving type-error messages in functional languages
JFP 20 (3 & 4): 375413, 2010. c Cambridge University Press 2010 doi:10.1017/S0956796810000183 First published online 27 September 2010
Constraint Based Type Inferencing in Helium Bastiaan Heeren, Jurriaan Hage, and S. Doaitse Swierstra
Top Quality Type Error Messages Top Kwaliteit Typeringsfoutmeldingen
Landelijke FP-dag 2004 Helium and Type Inference Directives
Strategies for solving constraints in type and effect Jurriaan Hage1
Report on the Tenth ICFP Programming Contest Eelco Dolstra Jurriaan Hage Bastiaan Heeren Stefan Holdermans Johan Jeuring
1. Introduction Helium is a user-friendly compiler designed especially for learning the
Repair Systems Automatic correction of type errors in functional
Feedback Services for Exercise Assistants Alex Gerdes1
Master Thesis A Pre-Processing Method for Software Synthesis of
Using Strategies for Assessment of Programming Exercises
An Architecture for Searching Radio Signals coordination of task and result sharing in the search process
A Teaching Tool for Proving Equivalences between Logical Formulae
Adapting Mathematical Domain Reasoners Bastiaan Heeren1
Generic Programming for Domain Reasoners
Canonical Forms in Interactive Exercise Bastiaan Heeren1
Recognizing Strategies Bastiaan Heeren1,2
Heuristics for type error discovery and recovery Jurriaan Hage and Bastiaan Heeren
Improving type-error messages in functional languages
M.Sc. Thesis Developing Interacting
Thesis for the degree of Master of Science Constraints for Type Class Extensions
Scripting the Type Inference Process Bastiaan Heeren Jurriaan Hage S. Doaitse Swierstra
Thesis for the degree of Master of Science Dynamic Archive Management
CONSTRUCTING STRATEGIES FOR PROGRAMMING Alex Gerdes, Bastiaan Heeren
Interleaving Strategies Bastiaan Heeren1
