Search the dblp DataBase

Publications of Author

1. Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
   Scripting the type inference process. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:3-13 [Conf]
   
2. Bastiaan Heeren, Jurriaan Hage
   Type Class Directives. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:253-267 [Conf]
   
3. Jurriaan Hage, Bastiaan Heeren
   Heuristics for Type Error Discovery and Recovery. [Citation Graph (0, 0)][DBLP]
   IFL, 2006, pp:199-216 [Conf]
   
4. 
   Specifying Strategies for Exercises. [Citation Graph (, )][DBLP]
   
   
5. 
   Adapting Mathematical Domain Reasoners. [Citation Graph (, )][DBLP]
   
   
6. 
   A lightweight approach to datatype-generic rewriting. [Citation Graph (, )][DBLP]
   
   
7. 
   Report on the tenth ICFP programming contest. [Citation Graph (, )][DBLP]
   
   
8. 
   Canonical Forms in Interactive Exercise Assistants. [Citation Graph (, )][DBLP]
   
   
9. 
   Using strategies for assessment of programming exercises. [Citation Graph (, )][DBLP]
   
   
10. 
    Constructing Strategies for Programming. [Citation Graph (, )][DBLP]
    
    
11. 
    Adapting Mathematical Domain Reasoners [Citation Graph (, )][DBLP]
    
    
12. 
    Strategies for Solving Constraints in Type and Effect Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Recognizing Strategies. [Citation Graph (, )][DBLP]