ms.bib

@ARTICLE{hmx-clpx,
  AUTHOR = {M. Sulzmann and P. J. Stuckey},
  TITLE = {HM(x) type inference is CLP(x) solving},
  JOURNAL = {J. Funct. Program.},
  VOLUME = {18},
  NUMBER = {2},
  YEAR = {2008},
  PAGES = {251--283},
  PUBLISHER = {Cambridge University Press},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/hmx-clpx.pdf}
}

@INPROCEEDINGS{multi-headed-actors,
  AUTHOR = {M. Sulzmann and E. S. L. Lam and P. van Weert},
  TITLE = {Actors with Multi-Headed Message Receive Patterns},
  BOOKTITLE = {Proc.\ of Coordination'08},
  YEAR = {2008},
  SERIES = {LNCS},
  VOLUME = {5052},
  PAGES = {315-330},
  PUBLISHER = {Springer-Verlag},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/multi-headed-actors.pdf}
}

@PUBLISHED{parallel-chr,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {Parallel Execution of Multi Set Constraint Rewrite Rules},
  BOOKTITLE = {Proc.\ of PPDP'08},
  NOTE = {To appear},
  YEAR = {2008},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/parallel-chr.pdf}
}

@UNPUBLISHED{rule-based-stm-spec,
  AUTHOR = {M. Sulzmann and D. H. Chu},
  TITLE = {A Rule-Based Specification of Software Transactional Memory},
  NOTE = {Manuscript},
  YEAR = {2008},
  MONTH = {May},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/rule-based-stm-spec.pdf}
}

@UNPUBLISHED{chrvsjoin,
  AUTHOR = {E.S.L. Lamd and M. Sulzmann},
  TITLE = {Finally, A Comparison Between {Constraint Handling Rules} and {Join-Calculus}},
  NOTE = {Manuscript},
  YEAR = {2008},
  MONTH = {May},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/chrvsjoin.pdf}
}

@UNPUBLISHED{restoring-fd-confluence,
  AUTHOR = {T. Schrijvers and M. Sulzmann},
  TITLE = {Restoring Confluence for Functional Dependencies},
  NOTE = {Accepted at TFP'08},
  YEAR = {2008},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/restoring-fd-confluence.pdf}
}

@UNPUBLISHED{objects-unify-type-classes-gadts,
  AUTHOR = {B. Oliveira and M. Sulzmann},
  TITLE = {Objects to Unify Type Classes and {GADTs}},
  NOTE = {Manuscript},
  YEAR = {2008},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/objects-unify-type-classes-gadts.ps}
}

@UNPUBLISHED{open-type-functions,
  AUTHOR = {T. Schrijvers  and S.~{Peyton Jones} and M. M. T. Chakravarty and M. Sulzmann},
  TITLE = {Type Checking with Open Type functions},
  NOTE = {Manuscript},
  YEAR = {2008},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/open-type-functions.pdf}
}

@UNPUBLISHED{partial-deriv-reg-pat,
  AUTHOR = {M. Sulzmann and K.Z.M. Lu},
  TITLE = {Partial Derivative Regular Expression Pattern Matching},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {December},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/RegExpPatMatch.hs}
}

@INPROCEEDINGS{xhaskell,
  AUTHOR = {M. Sulzmann and K.Z.M. Lu},
  TITLE = {{XHaskell} -- Adding Regular Expression Types to {Haskell}},
  BOOKTITLE = {Proc.\ of IFL'2007},
  NOTE = {To appear},
  YEAR = {2007},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/xhaskell.ps},
  LONG = {http://www.cs.mu.oz.au/~sulzmann/manuscript/xhaskell-tr.ps}
}

@INPROCEEDINGS{chr-observable,
  AUTHOR = {G. J. Duck and P. J. Stuckey and M. Sulzmann},
  TITLE = {Observable Confluence for Constraint Handling Rules},
  BOOKTITLE = {Proc.\ of ICLP'07},
  PAGES = {224--239},
  YEAR = {2007},
  SERIES = {LNCS},
  VOLUME = {4670},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr-observable.ps}
}

@TECHREPORT{chr-search,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {Compiling Constraint Handling Rules with Lazy
  and Concurrent Search Techniques},
  NOTE = {Proc.\ of CHR 2007, Fourth Workshop on Constraint Handling Rules},
  YEAR = {2007},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr-search.ps}
}

@UNPUBLISHED{haskell-open-type-functions,
  AUTHOR = {T. Schrijvers and M. Sulzmann and S.~{Peyton Jones} and M. M. T. Chakravarty},
  TITLE = {Towards Open Type functions for {Haskell}},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {September},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/haskell-open-type-functions.ps}
}

@UNPUBLISHED{haskell-join-rules,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {{Haskell} -- {Join} -- {Rules}},
  NOTE = {In Draft Proc.\ of IFL'07},
  YEAR = {2007},
  MONTH = {September},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/haskell-join-rules.ps}
}

@UNPUBLISHED{faithful,
  AUTHOR = {M. Sulzmann and K.Z.M. Lu},
  TITLE = {A Faithful Semantics for {Hindley/Milner} with Regular Expression Types},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {July},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/faithful.ps}
}

@UNPUBLISHED{gadtless,
  AUTHOR = {M. Sulzmann and M. Wang},
  TITLE = {{GADTless} Programming in {Haskell 98}},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {June},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/gadtless.ps}
}

@UNPUBLISHED{concurrent-chr-stm,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {A Concurrent Constraint Handling Rules Semantics
  and its Implementation
 with Software Transactional Memory},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {June},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/concurrent-chr-stm.ps}
}

@UNPUBLISHED{polyregexp,
  AUTHOR = {M. Sulzmann and K.Z.M. Lu},
  TITLE = {A Coherent Translation Scheme for Parametric Regular Types},
  NOTE = {Manuscript},
  YEAR = {2007},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/polyregexp.ps}
}

@INPROCEEDINGS{aop-haskell,
  AUTHOR = {M. Sulzmann and M. Wang},
  TITLE = {Aspect-Oriented Programming with Type Classes},
  BOOKTITLE = {Proc.\  
  of Sixth International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2007)},
  PUBLISHER = {ACM Press},
  PAGES = {65--74},
  YEAR = {2007},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/aop-haskell.ps}
}

@ARTICLE{fd-journal,
  AUTHOR = {M. Sulzmann and G. J. Duck and S. {Peyton Jones} and P. J. Stuckey},
  TITLE = {Understanding functional dependencies via constraint handling rules},
  JOURNAL = {J. Funct. Program.},
  VOLUME = {17},
  NUMBER = {1},
  YEAR = {2007},
  PAGES = {83--129},
  PUBLISHER = {Cambridge University Press},
  PDF = {http://www.cs.mu.oz.au/~sulzmann/publications/jfp-fds-revised.pdf}
}

@INPROCEEDINGS{fc,
  AUTHOR = {M. Sulzmann and M. M. T. Chakravarty and S. {Peyton Jones} and K. Donnelly},
  TITLE = {{System F} with Type Equality Coercions},
  BOOKTITLE = {Proc.\ of ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07)},
  PUBLISHER = {ACM Press},
  YEAR = {2007},
  PAGES = {53-66},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/fc.ps}
}

@INPROCEEDINGS{chr-stm,
  AUTHOR = {E. S. L. Lam and M. Sulzmann},
  TITLE = {A Concurrent {Constraint Handling Rules} Implementation in {Haskell}
  with Software Transactional Memory},
  BOOKTITLE = {Proc.\ of ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'07)},
  YEAR = {2007},
  PAGES = {19-24},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr-stm.ps}
}

@INPROCEEDINGS{ghc-mptc-inf,
  AUTHOR = {M. Sulzmann and T. Schrijvers and P. J. Stuckey},
  BOOKTITLE = {Proc.\ of APLAS'06},
  TITLE = {Principal Type Inference for {GHC}-Style
   Multi-Parameter Type Classes},
  SERIES = {LNCS},
  VOLUME = {4279},
  PUBLISHER = {Springer-Verlag},
  PAGES = {26-43},
  YEAR = {2006},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/ghc-mptc-inf.ps}
}

@INPROCEEDINGS{aplas06-invited,
  AUTHOR = {P. J. Stuckey and M. Sulzmann and J. Wazny},
  TITLE = {Type Processing by Constraint Reasoning},
  BOOKTITLE = {Proc.\ of APLAS'06},
  SERIES = {LNCS},
  VOLUME = {4279},
  PUBLISHER = {Springer-Verlag},
  PAGES = {1-25},
  YEAR = {2006},
  PDF = {http://www.cs.mu.oz.au/~sulzmann/publications/aplas06-invited.pdf}
}

@UNPUBLISHED{parametric-regular,
  AUTHOR = {M. Sulzmann and K.Z.M. Lu},
  TITLE = {Type Inference and Compilation for Parametric Regular Data Types},
  NOTE = {Manuscript},
  YEAR = {2006},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/parametric-regular.ps}
}

@UNPUBLISHED{haskell+xduce,
  AUTHOR = {M. Sulzmann and K. Z. M. Lu},
  TITLE = {The Marriage of {Haskell} and {XDuce}},
  NOTE = {Manuscript},
  YEAR = {2006},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/haskell-xduce.ps}
}

@INPROCEEDINGS{modular-generic,
  AUTHOR = {M. Sulzmann and M. Wang},
  TITLE = {Modular Generic Programming with Extensible Superclasses},
  BOOKTITLE = {Proc.\ of ACM SIGPLAN 2006 Workshop on Generic Programming (WGP'06)},
  PUBLISHER = {ACM Press},
  YEAR = {2006},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/wgp06-modulargeneric.ps}
}

@UNPUBLISHED{haskell-agents,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {Specifying and Controlling Agents in Haskell},
  NOTE = {Manuscript},
  YEAR = {2006},
  MONTH = {September},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/haskell-agents.ps}
}

@INPROCEEDINGS{lang-verification,
  AUTHOR = {M. Sulzmann and R. Voicu},
  TITLE = {Language-Based Program Verification via Expressive Types},
  BOOKTITLE = {Workshop on Programming Languages meet Program Verification'06},
  YEAR = {2006},
  PAGES = {13-27},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/plpv06-langverification.ps},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/plpv06-talk.pdf}
}

@UNPUBLISHED{gadt-short,
  AUTHOR = {M. Sulzmann and T. Schrijvers and P. J. Stuckey},
  TITLE = {Type Inference for {GADTs} via {Herbrand} Constraint Abduction},
  NOTE = {Manuscript},
  YEAR = {2006},
  MONTH = {July},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/gadt-short.ps}
}

@TECHREPORT{chr-agent,
  AUTHOR = {E. S. L. Lam and M. Sulzmann},
  TITLE = {Towards Agent Programming in {CHR}},
  NOTE = {Proc.\ of CHR 2006, Third Workshop on Constraint Handling Rules},
  INSTITUTION = {Katholieke Universteit Leuven},
  NUMBER = {CW 452},
  PAGES = {17-32},
  YEAR = {2006},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr-agent.ps}
}

@TECHREPORT{chr06-observable,
  AUTHOR = {G. J. Duck and P. J. Stuckey and M. Sulzmann},
  TITLE = {Observable Confluence for Constraint Handling Rules},
  NOTE = {Proc.\ of CHR 2006, Third Workshop on Constraint Handling Rules},
  INSTITUTION = {Katholieke Universteit Leuven},
  NUMBER = {CW 452},
  PAGES = {61-76},
  YEAR = {2006},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr06-observable.ps}
}

@INPROCEEDINGS{type-class-proofs,
  AUTHOR = {M.~Sulzmann},
  TITLE = {Extracting Programs from Type Class Proofs},
  BOOKTITLE = {Proc.\ of PPDP'06},
  PUBLISHER = {ACM Press},
  PAGES = {97-108},
  YEAR = {2006},
  PDF = {http://www.cs.mu.oz.au/~sulzmann/publications/extract-typeclassproofs.pdf},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/ppdp06-talk.pdf},
  ACM = {http://www.acm.org/pubs/copyrights.html}
}

@INPROCEEDINGS{eadt,
  AUTHOR = {M.~Sulzmann and J.~Wazny and P. J. Stuckey},
  TITLE = {A Framework for Extended Algebraic Data Types},
  BOOKTITLE = {Proc.\ of FLOPS'06},
  PAGES = {47--64},
  PUBLISHER = {Springer-Verlag},
  SERIES = {LNCS},
  VOLUME = {3945},
  YEAR = {2006},
  LONG = {http://www.cs.mu.oz.au/~sulzmann/publications/tr-eadt.ps.gz},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/flops06-talk.pdf}
}

@UNPUBLISHED{inference-abduction,
  AUTHOR = {M. Sulzmann and T. Schrijvers and P. J. Stuckey},
  TITLE = {Type Inference via Constraint Abduction for {EADTs}},
  NOTE = {Manuscript},
  YEAR = {2006},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/inference-abduction.ps}
}

@ARTICLE{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 = {2005},
  PAGES = {1-54},
  VOLUME = 27,
  NUMBER = 6,
  PS = {http://www.cs.mu.oz.au/~sulzmann/chr/download/theory-journal.ps.gz},
  ACM = {http://www.acm.org/pubs/copyrights.html}
}

@UNPUBLISHED{afds,
  AUTHOR = {M. Sulzmann and E. S. L. Lam},
  TITLE = {Associated Functional Dependencies},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/afds.ps}
}

@UNPUBLISHED{simple-translate-gadts,
  AUTHOR = {M. Sulzmann and M. Wang},
  TITLE = {Translating Generalized Algebraic
 Data Types to {System F}},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/simple-translate-gadts.ps}
}

@UNPUBLISHED{adhoc-xml,
  AUTHOR = {M. Sulzmann and K. Z. M. Lu},
  TITLE = {Ad-hoc Polymorphism for Polymorphic {XML} Transformations},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/adhoc-xml.ps}
}

@UNPUBLISHED{translate-xduce-to-ml,
  AUTHOR = {M. Sulzmann and K. Z. M. Lu},
  TITLE = {A Type-Safe Embedding of {XDuce} into {ML} (extended version)},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {October},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/translate-xduce-to-ml.ps}
}

@TECHREPORT{chr-abduction,
  AUTHOR = {M.~Sulzmann and J.~Wazny and P.~J.~Stuckey},
  TITLE = {Constraint Abduction and Constraint Handling Rules},
  NOTE = {Proc.\ of CHR 2005, Second Workshop on Constraint Handling Rules},
  INSTITUTION = {Katholieke Universteit Leuven},
  NUMBER = {CW 421},
  YEAR = {2005},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/chr05.ps},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/chr05-talk.pdf}
}

@MISC{chr05-invited,
  AUTHOR = {M. Sulzmann},
  TITLE = {Chameleon: Systematic Type System Design via
   Constraint Handling Rules},
  NOTE = {CHR 2005 invited talk},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/chr05-invited.pdf}
}

@INPROCEEDINGS{ml-workshop05,
  AUTHOR = {M.~Sulzmann and K.~Z.~M.~Lu},
  TITLE = {A Type-Safe Embedding of {XDuce} into {ML}},
  BOOKTITLE = {Proc.\ of ACM SIGPLAN Workshop on ML},
  SERIES = {Electronic Notes in Computer Science},
  VOLUME = {1024},
  PAGES = {229-253},
  YEAR = {2005},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/xduce-to-ml.ps},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/xduce-to-ml-talk.pdf}
}

@UNPUBLISHED{coind-type-class-proofs,
  AUTHOR = {M. Sulzmann and J. Wazny and P. J. Stuckey},
  TITLE = {Co-induction and Type Improvement in Type Class Proofs},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {July},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/coind-type-class-proofs.ps}
}

@UNPUBLISHED{submitted-eadt,
  AUTHOR = {M. Sulzmann and J. Wazny and P. J. Stuckey},
  TITLE = {A Framework for Extended Algebraic Data Types},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {July},
  PDF = {http://www.cs.mu.oz.au/~sulzmann/manuscript/submitted-eadt.pdf}
}

@UNPUBLISHED{lexical-annot,
  AUTHOR = {M. Sulzmann and  J. Wazny},
  TITLE = {Lexically Scoped Type Annotations},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {July},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/lexical-annot.ps}
}

@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.cs.mu.oz.au/~sulzmann/publications/c++vshaskell.pdf}
}

@UNPUBLISHED{implication,
  AUTHOR = {P. J. Stuckey and M. Sulzmann},
  TITLE = {Solutions of Implication Constraints yield Type Inference for More General Algebraic Data Types},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {April},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/implication.ps}
}

@UNPUBLISHED{grdts-inf,
  AUTHOR = {P. J. Stuckey and M. Sulzmann},
  TITLE = {Type Inference for Guarded Recursive Data Types},
  NOTE = {Manuscript},
  YEAR = {2005},
  MONTH = {February},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/grdts-inf.ps}
}

@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.cs.mu.oz.au/~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.cs.mu.oz.au/~sulzmann/publications/framework.ps.gz}
}

@UNPUBLISHED{typeclass-existentials,
  TITLE = {Existentially Quantified Type Classes},
  AUTHOR = {P. J. Stuckey and M. Sulzmann and J. Wazny},
  YEAR = {2004},
  NOTE = {Manuscript},
  PS = {http://www.cs.mu.oz.au/~sulzmann/manuscript/existential.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.cs.mu.oz.au/~sulzmann/publications/translate-grdts.ps.gz}
}

@INPROCEEDINGS{semantic-subtyping,
  AUTHOR = {K. Z. M. 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.cs.mu.oz.au/~sulzmann/publications/aplas04.ps.gz},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/aplas04-talk.pdf},
  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 Workshop'04},
  YEAR = {2004},
  PUBLISHER = {ACM Press},
  PAGES = {80--91},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/improved.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.cs.mu.oz.au/~sulzmann/chr/download/esop04.ps.gz},
  LONG = {http://www.cs.mu.oz.au/~sulzmann/chr/download//fd-chr.ps.gz},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/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.cs.mu.oz.au/~sulzmann/ruv/ruv-aplas03.ps.gz},
  LONG = {http://www.cs.mu.oz.au/~sulzmann/ruv/ruv.ps.gz},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~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.cs.mu.oz.au/~sulzmann/publications/tapos.ps}
}

@TECHREPORT{sulzmann:tr-records,
  AUTHOR = {M. Sulzmann},
  TITLE = {Designing {R}ecord {S}ystems},
  INSTITUTION = {Yale University, Department of Computer Science},
  YEAR = 1997,
  FOLDER = {13-23},
  TYPE = {Research Report},
  PS = {http://www.cs.mu.oz.au/~sulzmann/publications/tr-1128.ps.gz},
  NUMBER = {YALEU/DCS/RR-1128},
  MONTH = {April}
}

@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.cs.mu.oz.au/~sulzmann/publications/fool4.ps.gz}
}

@INPROCEEDINGS{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.75