@TECHREPORT{nus-trb2-05,
AUTHOR = {S. Kothari and M.~Sulzmann},
TITLE = {C++ Templates/Traits versus Haskell Type Classes},
INSTITUTION = {The National University of Singapore},
NUMBER = {TRB2/05},
YEAR = {2005},
PDF = {http://www.comp.nus.edu.sg/~sulzmann/c++vshaskell.pdf}
}
@TECHREPORT{nus-tra2-05,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann and J.~Wazny},
TITLE = { Improved Inference for Checking Type Annotations},
INSTITUTION = {The National University of Singapore},
NUMBER = {TRA2/05},
YEAR = {2005},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/improved-inference.ps.gz}
}
@TECHREPORT{nus-tr12-04,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann},
TITLE = {A Unifying Inference Framework for {H}indley/{M}ilner with Extensions},
INSTITUTION = {The National University of Singapore},
NUMBER = {TR12/04},
YEAR = {2004},
PS = {http://www.comp.nus.edu.sg/~sulzmann/framework.ps.gz}
}
@TECHREPORT{nus-tr22-04,
AUTHOR = {M.~Sulzmann and M.~Wang},
TITLE = {A Systematic Translation of Guarded Recursive Data Types to
Existential Types},
INSTITUTION = {The National University of Singapore},
NUMBER = {TR22/04},
YEAR = {2004},
PS = {http://www.comp.nus.edu.sg/~sulzmann/translate-grdts.ps.gz}
}
@INPROCEEDINGS{semantic-subtyping,
AUTHOR = {K. Zhuo Ming Lu and M. Sulzmann},
TITLE = {An Implementation of Subtyping among Regular Expression Types},
BOOKTITLE = {Proc.\ of APLAS'04},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS},
VOLUME = {3302},
YEAR = {2004},
PAGES = {57--73},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/aplas04.ps.gz},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@INPROCEEDINGS{improved-debug,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann and J.~Wazny},
TITLE = {Improving Type Error Diagnosis},
BOOKTITLE = {Proc.\ of Haskell'04},
YEAR = {2004},
PUBLISHER = {ACM Press},
PAGES = {80--91},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/improved.ps.gz},
ACM = {http://www.acm.org/pubs/copyrights.html}
}
@UNPUBLISHED{overloading-journal,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann },
TITLE = {A Theory of Overloading},
JOURNAL = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
PUBLISHER = {ACM Press},
YEAR = {2004},
NOTE = {To appear in ACM Transactions on Programming Languages and Systems},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/theory-journal.ps.gz},
ACM = {http://www.acm.org/pubs/copyrights.html}
}
@INPROCEEDINGS{fds-chrs,
AUTHOR = {G.~J.~Duck and S.~Peyton-Jones and P.~J.~Stuckey and M.~Sulzmann},
TITLE = {Sound and Decidable Type Inference for Functional Dependencies},
BOOKTITLE = {Proc.\ of ESOP'04},
YEAR = {2004},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS},
VOLUME = {2986},
PAGES = {49-63},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/esop04.ps.gz},
LONG = {http://www.comp.nus.edu.sg/~sulzmann/chr/download//fd-chr.ps.gz},
TALK = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/esop04-talk.pdf},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@INPROCEEDINGS{resource,
AUTHOR = {K.~Marriott and P.~J.~Stuckey and M.~Sulzmann},
TITLE = {Resource Usage Verification},
BOOKTITLE = {Proc.\ of APLAS'03},
PUBLISHER = {Springer-Verlag},
SERIES = {LNCS},
VOLUME = {2895},
PAGES = {212-229},
YEAR = {2003},
PS = {http://www.comp.nus.edu.sg/~sulzmann/ruv/ruv-aplas03.ps.gz},
LONG = {http://www.comp.nus.edu.sg/~sulzmann/ruv/ruv.ps.gz},
TALK = {http://www.comp.nus.edu.sg/~sulzmann/publications/aplas03-talk.pdf},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@INPROCEEDINGS{chameleon-debugger,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann and J.~Wazny},
TITLE = {The {C}hameleon Type Debugger},
BOOKTITLE = {Proc.\ of Fifth International Workshop on Automated Debugging (AADEBUG 2003)},
PUBLISHER = {Computer Research Repository (http://www.acm.org/corr/)},
YEAR = {2003},
PAGES = {247--258},
PDF = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/debug.pdf}
}
@INPROCEEDINGS{interactive,
AUTHOR = {P.J.~Stuckey and M.~Sulzmann and J.~Wazny},
TITLE = {Interactive Type Debugging in {H}askell},
BOOKTITLE = {Proc.\ of Haskell Workshop'03},
PUBLISHER = {ACM Press},
YEAR = {2003},
PAGES = {72--83},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/interactive.ps.gz},
ACM = {http://www.acm.org/pubs/copyrights.html}
}
@INPROCEEDINGS{exception,
AUTHOR = {K.~Glynn and P.J.~Stuckey and M.~Sulzmann and H.~S{\o}ndergaard},
TITLE = {Exception Analysis for Non-Strict Languages},
BOOKTITLE = {Proc.\ of ICFP'02},
PAGES = {98--109},
PUBLISHER = {ACM Press},
YEAR = {2002},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/exception-icfp02.ps.gz},
ACM = {http://www.acm.org/pubs/copyrights.html}
}
@INPROCEEDINGS{overloading,
AUTHOR = {P.~J.~Stuckey and M.~Sulzmann },
TITLE = {A Theory of Overloading},
BOOKTITLE = {Proc.\ of ICFP'02},
PAGES = {167--178},
YEAR = {2002},
PUBLISHER = {ACM Press},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/icfp02-theory.ps.gz},
ACM = {http://www.acm.org/pubs/copyrights.html}
}
@MISC{systematic,
AUTHOR = {P.J.~Stuckey and M.~Sulzmann},
TITLE = {A systematic approach in type system design based on constraint handling rules},
HOWPUBLISHED = {Third Workshop on Rule-Based Constraint Reasoning and Programming},
YEAR = {2001},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/rcorp01-paper.ps.gz}
}
@INPROCEEDINGS{strictness,
AUTHOR = {K.~Glynn and P.J. Stuckey and M.~Sulzmann},
TITLE = {Effective strictness analysis with Horn constraints},
BOOKTITLE = {Proc.\ of SAS'01},
PAGES = {73--92},
VOLUME = {2126},
SERIES = {LNCS},
PUBLISHER = {Springer-Verlag},
YEAR = {2001},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/sas01.ps.gz},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@INPROCEEDINGS{Gly-Stu-Sul-Son:pado01,
AUTHOR = {K. Glynn and P. J. Stuckey and M. Sulzmann and
H. S{\o}ndergaard},
TITLE = {Boolean Constraints for Binding-Time Analysis},
BOOKTITLE = {Proc.\ of PADO'01},
SERIES = {LNCS},
VOLUME = {2053},
PAGES = {39--63},
PUBLISHER = {Springer},
YEAR = {2001},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/pado01.ps.gz},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@INPROCEEDINGS{general,
AUTHOR = {M.~Sulzmann},
TITLE = {A general type inference framework for Hindley/Milner style systems},
BOOKTITLE = {Proc.\ of FLOPS'01},
PAGES = {246--263},
SERIES = {LNCS},
VOLUME = {2024},
PUBLISHER = {Springer-Verlag},
YEAR = {2001},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/flops01.ps.gz},
SPRINGER = {http://www.springer.de/comp/lncs/index.htm}
}
@TECHREPORT{gss-TR2001/33,
AUTHOR = {K. Glynn and P.J. Stuckey and M. Sulzmann},
YEAR = {2001},
TITLE = { The HM(CHR) Framework },
INSTITUTION = {Department of Computer Science, The University of Melbourne},
NUMBEROFPAGES = {20},
SUBCAT = {G4},
AUTHORCODE = {433 and 01 and FU and },
NOTE = {Superseded by~\cite{overloading}},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/tr2001-33.ps}
}
@TECHREPORT{gss-TR2001/26,
AUTHOR = {K. Glynn and P.J. Stuckey and M. Sulzmann},
YEAR = {2001},
TITLE = { A General Type Class Framework},
INSTITUTION = {Department of Computer Science, The University of Melbourne},
NUMBEROFPAGES = {29},
SUBCAT = {G4},
AUTHORCODE = {433 and 01 and FU and },
NOTE = {Superseded by~\cite{overloading-journal}},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/tr2001-26.ps}
}
@INPROCEEDINGS{typeclasses,
AUTHOR = {K.~Glynn and P.~J.~Stuckey and M.~Sulzmann},
TITLE = {Type Classes and Constraint Handling Rules},
BOOKTITLE = {Proc.\ of First Workshop on Rule-Based Constraint Reasoning and Programming},
YEAR = {2000},
PUBLISHER = {Computer Research Repository (http://www.acm.org/corr/)},
PS = {http://www.comp.nus.edu.sg/~sulzmann/chr/download/chr.ps}
}
@PHDTHESIS{sulzmann2000,
AUTHOR = {M. Sulzmann},
TITLE = {A General Framework for {H}indley/{M}ilner Type Systems with Constraints},
SCHOOL = {Yale University, Department of Computer Science},
YEAR = {2000},
MONTH = {May},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/diss.ps.gz}
}
@TECHREPORT{hm-in-constraint-form,
AUTHOR = {M. Sulzmann and M. M{\"u}ller and C. Zenger},
TITLE = {Hindley/Milner Style Type Systems in Constraint Form},
NUMBER = {ACRC-99-009},
TYPE = {Research Report},
INSTITUTION = {University of South Australia, School of Computer and Information Science},
YEAR = {1999},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/tr-arcs-99-009.ps.gz}
}
@ARTICLE{sulzmann-odersky-wehr:journal,
AUTHOR = {M. Odersky and M. Sulzmann and M Wehr},
TITLE = {Type Inference with Constrained Types},
JOURNAL = {Theory and Practice of Object Systems},
PAGES = {35-55},
YEAR = 1999,
VOLUME = 5,
NUMBER = 1,
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/tapos.ps}
}
@INPROCEEDINGS{type-inf-constrained-types,
AUTHOR = {M. Sulzmann and M. Odersky and M. Wehr},
TITLE = {Type Inference with Constrained Types},
BOOKTITLE = {FOOL4: 4th. Int. Workshop on Foundations of Object-oriented programming Languages},
YEAR = {1997},
PS = {http://www.comp.nus.edu.sg/~sulzmann/publications/fool4.ps.gz}
}
@INCPROCEEDINGS{cade96,
AUTHOR = {B. Beckert and R. H{\"a}hnle and P. Oel and M. Sulzmann},
TITLE = {The Tableau-based Theorem Prover 3TAP, Version 4.0},
BOOKTITLE = {Proc.\ of CADE'96},
PAGES = {303-307},
PUBLISHER = {Springer-Verlag},
YEAR = {1996},
SERIES = {LNCS},
VOLUME = {1104}
}
This file has been generated by bibtex2html 1.74