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

Effective Strictness Analysis with HORN Constraints , presented at SAS 01, July 2001.
Boolean Constraints for Binding-Time Analysis , presented at PADO II, May 2001.
A General Type Inference Framework for Hindley/Milner Style Systems, presented at FLOPS 2001, March 2001.
Type-based program analysis with HM(X) , invited talk, University of Freiburg, December 2000.

Martin Sulzmann

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