Personal tools
You are here: Home Events John Longley: Automarker Theory

John Longley: Automarker Theory

When Oct 16, 2012
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal

Many of us are familiar with the idea of writing automarkers to assist with the marking of students' code. In principle, automarkers are examples of higher order programs, i.e. programs that act on other programs. I will outline a fantasy scenario involving automarkers for students' programs, automarkers for those automarkers, and so on, and show how this offers a framework for understanding some of the key concepts and results of higher type computability theory.

Document Actions