@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