Private Team Information
Memos
- Advanced Redex Trails: fully-fledged tracing technology for functional programs (project proposal), Colin Runciman.
- Comparison of Dependency-Based Debuggers for Lazy Functional Languages, Olaf Chitil.
- Incremental Archiving of Redex Trails, Colin Runciman.
- Problems with Numerics in Tracing with nhc98, Malcolm Wallace.
- Tracing List Comprehensions, Colin Runciman.
- Proposal for tracing primitive functions in nhc98 via the new FFI, Malcolm Wallace.
- A Semantics for Redex Trails, Olaf Chitil.
- The Adjoxo Experiments - Comparing Freja, Hood and Redex Trails, Colin Runciman.
- Towards a Portable Tracer, Olaf Chitil.
- The PsaCompiler Experiment, Olaf Chitil.
- Tracing at PLI 2000, Colin Runciman.
- The Redex Trail Transformation, Olaf Chitil.
- Portable File Archiving, Olaf Chitil.
- Hat File Format, Malcolm Wallace.
- Profiling Hat Tracer Files using Hat-Check, Colin Runciman
- APPs with SATs - A Key to Hat-Observe and Hat-Detect, Colin Runciman.
- Observing functions using hat-observe, Thorsten Brehm.
- The Trouble with Trusting - Part I: Unreachable Names, Colin Runciman.
- A Better Hat File Format, Olaf Chitil.
- Hat-Detect, Algorithmic Debugging for Hat, Thorsten Brehm.
- Trip Report - 2.8 Meeting, Colin Runciman.
- Mixing Traced and Untraced Computation, Colin Runciman.
- Trip Report - PLI 2001, Malcolm Wallace, Olaf Chitil.
- The July 2001 Tracing Fest, Colin Runciman.
- Trip Report - IFL 2001, Colin Runciman.
- Version 0. September, 2001.
- Thoughts on Mixing Traced and Untraced Computation, Olaf Chitil.
- Pragmatics of an Augmented Redex Trail, Olaf Chitil.
- Trip Report - a week in Kiel, Olaf Chitil.
- Collected bugs and wishes from the Feb 2002 Trace-Fest, Colin Runciman
- Hat Tutorial: Part 1, The ART Team
- The Definition of the Augmented Redex Trail, Olaf Chitil
- Tracing I/O actions, Olaf Chitil
- The AFP Summer School Hat Wish List, Colin Runciman
- The Challenge of Transforming Trusted Code, Olaf Chitil
- Report on IFL2002, Olaf Chitil
- The Implementation of Hat-Trans, Olaf Chitil
- Bugs, wishes and comments noticed during the Freiburg trip 15-17 May 2002, Olaf Chitil
- Bugs, wishes and comments noticed during the Cambridge trip 30-31 May 2002, Olaf Chitil
- Limits of Redex Trails, Olaf Chitil
- The Collected List of Hat Bugs and Wishes, Colin Runciman
More to come ;-)
This page last modified: 28 February 2003