Sulzmann, Martin - Department of Computer Science and Software Engineering, University of Melbourne

• A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory
• Sound and Decidable Type Inference for Functional Dependencies
• Constrained Type Based Program Analysis Kevin Glynn Martin Sulzmann
• A Framework for Combining Analysis and Verification Nevin Heintze
• Static Contract Checking for Haskell
• Parallel Join Patterns with Guards and Propagation Martin Sulzmann
• Lazy Call by Value Evaluation Bernd Brael, Sebastian Fischer, Frank Huch,
• Haskell-Join Presented by: Edmund S. L. Lam
• Composable Memory Transactions in Concurrent Haskell Frank Huch Frank Kupke
• Haskell --Join --Rules Martin Sulzmann and Edmund S. L. Lam
• Finally, A Comparison Between Constraint Handling Rules and Join-Calculus
• Improving Type Error Diagnosis Peter J. Stuckey
• Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques
• Existentially Quantified Type Classes Peter J. Stuckey
• Principal Type Inference for GHCStyle MultiParameter Type Classes
• XHaskell --Adding Regular Expression Types to Haskell Martin Sulzmann Kenny Zhuo Ming Lu
• Improved Inference for Checking Type Annotations
• A Rule-Based Specification of Software Transactional Memory
• Transactions in Constraint Handling Rules Tom Schrijvers and Martin Sulzmann
• Comparing the Performance of Concurrent Linked-List Implementations in Haskell
• Parallel Execution of Multi-Set Constraint Rewrite Rules Martin Sulzmann
• Actors with Multi-Headed Message Receive Martin Sulzmann1
• Type Checking with Open Type Functions Tom Schrijvers
• Under consideration for publication in J. Functional Programming 1 Understanding Functional Dependencies via
• First Class Constraint Programming First Class Constraint Programming
• Extending Haskell with Regular Expression Type and Pattern
• Enforcing High-Level Protocols in Low-Level Software Robert DeLine Manuel Fahndrich
• Flow-Sensitive Type Qualifiers Jeffrey S. Foster Tachio Terauchi Alex Aiken
• XHaskell --Adding Regular Expression Types to Martin Sulzmann and Kenny Zhuo Ming Lu
• Propositional propositions,
• Automatic Software Model Checking Cormac Flanagan
• Confluence for Non-Full Functional Dependencies
• XHaskell -Adding Regular Expression Types to Haskell
• Typing Correspondence Assertions for Communication Protocols
• Model Checking as Constraint Solving Andreas Podelski
• Type inference and type error diagnosis for Hindley/Milner with extensions
• Programming Environment
• System F with Type Equality Coercions Martin Sulzmann
• Under consideration for publication in Theory and Practice of Logic Programming 1 Concurrent GoalBased Execution of Constraint
• Functional dependencies versus type families and beyond
• A Type-Safe Embedding of Constraint Handling Rules into Haskell
• Quick Haskell Introduction Martin Sulzmann National University of Singapore