Author: Conor McBride
Title: Epigram
Abstract: 
Epigram (http://www.dur.ac.uk/CARG/epigram)
is a high-level functional programming language which
elaborates into type theory. It was designed by myself and James McKinna.
It comes equipped with a (prototype) interactive type-directed editor. I
shall demonstrate the system's current capabilities.