talk.bib

@MISC{coordination08-talk,
  TITLE = {Actors with Multi-Headed Message Receive Patterns},
  NOTE = {COORDINATION'08},
  YEAR = {2008},
  MONTH = {June},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/coordination08-talk.pdf}
}

@MISC{aplas06-talk,
  TITLE = {Principal Type Inference for {GHC}-Style
   Multi-Parameter Type Classes},
  NOTE = {APLAS'06},
  YEAR = {2006},
  MONTH = {November},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/aplas06-talk.pdf}
}

@MISC{wgp06-talk,
  TITLE = {Modular Generic Programming with Extensible Superclasses},
  NOTE = {WGP'06},
  YEAR = {2006},
  MONTH = {September},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/wgp06-talk.pdf}
}

@MISC{plpv-talk,
  TITLE = {Language-Based Program Verification via Expressive Types},
  NOTE = {PLPV'06},
  YEAR = {2006},
  MONTH = {August},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/plpv06-talk.pdf}
}

@MISC{ms-seattle06,
  TITLE = {Generalized Algebraic Data Types and All That},
  NOTE = {MSR Redmond},
  YEAR = {2006},
  MONTH = {August},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/ms-seattle06.pdf}
}

@MISC{ppdp06-talk,
  TITLE = {Extracting Programs from Type Class Proofs},
  NOTE = {PPDP'06},
  YEAR = {2006},
  MONTH = {July},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/ppdp06-talk.pdf}
}

@MISC{flops06-talk,
  TITLE = {A Framework for Extended Algebraic Data Types},
  NOTE = {FLOPS'06},
  YEAR = {2006},
  MONTH = {April},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/flops06-talk.pdf}
}

@MISC{chr06-talk,
  TITLE = {Constraint Abduction and Constraint Handling Rules},
  NOTE = {CHR'05},
  YEAR = {2005},
  MONTH = {October},
  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}
}

@MISC{ml05-talk,
  TITLE = {A Type-Safe Embedding of {XDuce} into {ML}},
  NOTE = {ML'05},
  YEAR = {2005},
  MONTH = {September},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/xduce-to-ml-talk.pdf}
}

@MISC{aplas04-talk,
  TITLE = {An Implementation of Subtyping among Regular Expression Types},
  NOTE = {APLAS'04},
  YEAR = {2004},
  MONTH = {November},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/aplas04-talk.pdf}
}

@MISC{esop04-talk,
  TITLE = {Sound and Decidable Type Inference for Functional Dependencies},
  NOTE = {ESOP'04},
  YEAR = {2004},
  MONTH = {April},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/esop04-talk.pdf}
}

@MISC{aplas03-talk,
  TITLE = {Resource Usage Verification},
  NOTE = {APLAS'03},
  YEAR = {2003},
  MONTH = {December},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/aplas03-talk.pdf}
}

@MISC{hw03-talk,
  TITLE = {Interactive Type Debugging in {H}askell},
  NOTE = {Haskell'03},
  YEAR = {2003},
  MONTH = {September},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/haskell03-talk.ps.gz}
}

@MISC{icfp02-talk,
  TITLE = {A Theory of Overloading},
  NOTE = {ICFP'02},
  YEAR = {2002},
  MONTH = {October},
  TALK = {http://www.cs.mu.oz.au/~sulzmann/talks/icfp02-talk.ps}
}


This file has been generated by bibtex2html 1.75