Top

Team&Visitors

Papers&Talks

Software

Links

Software

We have incorporated a binding-time, strictness and exception analysis phase into the GHC compiler. We plan to release the source code soon. In the meantime, please contact us for the software and instructions.

Martin Sulzmann
Last modified: Fri Aug 23 11:36:43 GMT-8 2002