Top

Team&Visitors

Papers&Talks

Software

Links

Publications

Due to copy-right laws we can't make any papers electronically available yet. Send us an email if you're interested in a particular paper.
  • Exception Analysis for Non-Strict Languages
    Kevin Glynn, Peter J. Stuckey, Martin Sulzmann and Harald Søndergaard
    The University of Melbourne, Department of Computer Science, TR2001/34, October 2001. Available are ps and the BibTex Entry . Here's a version submitted to ICFP'02.
  • Effective Strictness Analysis with HORN Constraints
    Kevin Glynn, Peter J. Stuckey and Martin Sulzmann
    Proceedings, 8th International Static Analysis Symposium (SAS 01), Paris, France, July 2001. BibTex entry .
  • Boolean Constraints for Binding-Time Analysis
    Kevin Glynn, Peter J. Stuckey, Martin Sulzmann and Harald Søndergaard
    Proceedings, Second Symposium on Programs as Data Objects PADO II, Aarhus, Denmark, May 2001. BibTex entry .
  • A General Type Inference Framework for Hindley/Milner Style Systems
    Martin Sulzmann
    Proceedings, 5th International Symposium on Functional and Logic Programming (FLOPS), Tokyo, Japan, March 2001. BibTex entry .

Talks


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