%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Alex Gerdes at 2011-09-29 11:05:35 +0200 


%% Saved with string encoding Unicode (UTF-8) 



@article{gerdes-11,
	Author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring},
	Journal = {Electronic Proceedings in Theoretical Computer Science},
	Month = {December},
	Pages = {21--34},
	Title = {Properties of Exercise Strategies},
	Volume = {44},
	Year = {2010}}

@inproceedings{jeuring-11,
	Author = {Johan Jeuring and Alex Gerdes and Bastiaan Heeren},
	Booktitle = {To appear in Proceedings of CEFP 2011: Central European School on Functional Programming},
	Date-Added = {2011-09-29 10:37:51 +0200},
	Date-Modified = {2011-09-29 10:39:16 +0200},
	Title = {A programming tutor for Haskell},
	Year = {2011}}

@article{heeren-10,
	Author = {Bastiaan Heeren and Johan Jeuring and Alex Gerdes},
	Date-Added = {2010-03-23 23:09:45 +0000},
	Date-Modified = {2010-03-23 23:11:58 +0000},
	Journal = {Mathematics in Computer Science},
	Title = {Specifying Rewrite Strategies for Interactive Exercises},
	Year = {2010}}

@inproceedings{gerdes-10,
	Author = {Alex Gerdes and Johan Jeuring and Bastiaan Heeren},
	Booktitle = {Proceedings of the 41st ACM technical symposium on Computer Science Education},
	Date-Added = {2010-02-23 15:17:18 +0100},
	Date-Modified = {2010-03-23 23:23:19 +0000},
	Pages = {441-445},
	Title = {Using Strategies for Assessment of Programming Exercises},
	Year = {2010}}

@techreport{heeren-09,
	Author = {Bastiaan Heeren and Johan Jeuring and Alex Gerdes},
	Date-Added = {2010-02-23 15:03:09 +0100},
	Date-Modified = {2010-02-23 15:14:51 +0100},
	Institution = {Utrecht University},
	Number = {UU-CS-2009-003},
	Title = {Strategies for exercises},
	Year = {2009}}

@inproceedings{gerdes-09,
	Author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring},
	Booktitle = {Proceedings of the First International Conference on Computer Supported Education},
	Date-Added = {2009-03-31 14:58:09 +0200},
	Date-Modified = {2009-09-06 22:31:34 +0200},
	Editor = {Jos\'e Cordeiro and Boris Shishkov and Alexander Verbraeck and Markus Helfert},
	Month = {March},
	Pages = {65-72},
	Publisher = {INSTICC Press},
	Title = {{Constructing Strategies for Programming}},
	Year = {2009}}

@inproceedings{gerdes-08,
	Author = {Alex Gerdes and Bastiaan Heeren and Johan Jeuring and Sylvia Stuurman},
	Booktitle = {The Proceedings of the 7th European Conference on e-Learning},
	Date-Added = {2008-07-19 22:52:05 +0200},
	Date-Modified = {2008-11-13 21:12:49 +0100},
	Editor = {Dan Remenyi},
	Pages = {402-410},
	Publisher = {Academic Publishing Limited},
	Read = {Yes},
	Title = {Feedback Services for Exercise Assistants},
	Urlpdf = {http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf},
	Year = 2008}

@inproceedings{heeren-08,
	Author = {Bastiaan Heeren and Johan Jeuring and Arthur van Leeuwen and Alex Gerdes},
	Booktitle = {AISC/Calculemus/MKM 2008},
	Date-Modified = {2008-07-19 22:57:00 +0200},
	Editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
	Pages = {430 -- 445},
	Publisher = {Springer-{V}erlag},
	Series = {LNAI 5144},
	Title = {Specifying Strategies for Exercises},
	Year = 2008}

@inproceedings{rodriguez-08,
	Author = {Alexey {Rodriguez Yakushev} and Johan Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno {C. d. S. Oliviera}},
	Booktitle = {Proceedings of the ACM SIGPLAN Haskell Symposium},
	Date-Modified = {2008-11-13 21:22:16 +0100},
	Title = {Comparing Libraries for Generic Programming in Haskell},
	Urlpdf = {http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf},
	Year = 2008}

@mastersthesis{gerdes-07,
	Author = {Alex Gerdes},
	Date-Modified = {2008-07-19 23:00:28 +0200},
	School = {Open University},
	Title = {{Comparing Generic Programming Libraries}},
	Year = 2007}