+
+April 2005. The start of a new EPSRC-funded project, +"A Theory of Tracing Pure Functional Programs". Yong Luo joins +Olaf Chitil as a Research Associate at the University of Kent. + +
+October 2004. Tom Davie has become a Research Student under +Olaf Chitil at the University of Kent, investigating topics related +to tracing and Hat. + +
+April 2004. Two undergraduate projects at the University of +York have produced new tools for viewing Hat traces: hat-anim from +Tom Davie, and hat-nonterm/black-hat from Mike Dodds. + +
+June 2002. The formal end of the EPSRC-funded project, "Advanced +Redex Trails", which developed version 2 of the Hat tracer. + +
+June 2000. Olaf Chitil joins the ART project as a Research +Associate at the University of York. + +
+March 2000. The start of an EPSRC-funded project, "Advanced +Redex Trails", involving Malcolm Wallace and Colin Runciman at the +University of York. + +
+September 1997. The ROPA-funded project "Redex Trails" finishes. + +
+March 1996. The ROPA-funded project "Redex Trails" starts. +Jan Sparud joins Colin Runciman at the University of York as a +research associate. + + }