packages feed

hat-2.7.0.0: docs/news.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html><head><title>Hat Project News</title></head>
<body text="#000000" bgcolor="#FFFFFF" link="#0000EE" vlink="#551A8B" alink="#FF0000">

<center>
  <img src="hat.gif" alt="Hat Logo"><br>
  <h1>Hat Project News</h1>
</center>
<hr>

<p>
<b>April 2005.</b>  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.

<p>
<b>October 2004.</b> Tom Davie has become a Research Student under
Olaf Chitil at the University of Kent, investigating topics related
to tracing and Hat.

<p>
<b>April 2004.</b>  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.

<p>
<b>June 2002.</b>  The formal end of the EPSRC-funded project, "Advanced
Redex Trails", which developed version 2 of the Hat tracer.

<p>
<b>June 2000.</b> Olaf Chitil joins the ART project as a Research
Associate at the University of York.

<p>
<b>March 2000.</b> The start of an EPSRC-funded project, "Advanced
Redex Trails", involving Malcolm Wallace and Colin Runciman at the
University of York.

<p>
<b>September 1997.</b> The ROPA-funded project "Redex Trails" finishes.

<p>
<b>March 1996.</b> The ROPA-funded project "Redex Trails" starts.
Jan Sparud joins Colin Runciman at the University of York as a
research associate.

</body></html>