Personal Page of
Laura Hutchins-Korte

Research Interests

Edinburgh University

• Edinburgh University
• Division of Informatics
• LFCS
• ICCS
• Helen Pain's Homepage (my supervisor)
• My Official Address
• My Online Bookmarks

Stuff I (co-)wrote

1. Laura Korte, The Interaction of Quantifiers and Negation in TLG, Course Paper, Utrecht University 2001.
2. Laura Korte, Coinductive Proof Nets, MSc Thesis, Utrecht University 2002.
3. Laura Korte, Genetic Carol, Course Paper, Edinburgh University 2003.
4. Laura Korte, The MLJVM: A Java Virtual Machine implemented in Standard ML, MSc Thesis, Edinburgh University 2003.
5. Laura Korte, Properties of Coinductive Proof Nets (doc) (html), The BNVKI Newsletter, April 2004.
6. Stephen Gilmore and Laura Korte, Deep Types for SML: Theory and Practice, Edinburgh University 2004.
7. Laura Korte, Deep Types for Impure Functional Programming Languages, Poster, [presented at] The Informatics Jamboree, Edinburgh University, May 2004.
8. Laura Korte, Rapid Fire Talk Slides, [presented at] The Informatics Jamboree, Edinburgh University, May 2004.
9. Laura Korte, Deep Types for Categorial Grammar: A Side Effect Analysis (slides) (paper), TAAL Postgraduate Conference, Edinburgh University, May 2004.
10. Laura Korte and Vincent van Oostrom, Coinductive Proof Nets (ps) (pdf), submitted to CALCO 2005, Swansea.
11. Laura Korte, Constructive Game-Based Learning: Encorporating Narrative into the Theoretical Computer Science Curriculum (abstract) (slides), [presented at] NILE 2006, Edinburgh, Scotland, UK.
12. Laura Korte, Stuart Anderson, Judith Good, and Helen Pain, Learning by Game-Building: A Novel Approach to Theoretical Computer Science Education (paper) (slides), ITiCSE 2007, Dundee, Scotland, UK.
13. Laura Hutchins-Korte, Learning by Game-Building in Theoretical Computer Science Education (pdf) PhD Thesis 2008, School of Informatics, University of Edinburgh, Scotland, UK.