| Data Race Prediction for Inaccurate Traces. | 0 | 0.34 | 2019 |
| Futures and promises in Haskell and Scala. | 0 | 0.34 | 2019 |
| LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. | 0 | 0.34 | 2018 |
| LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. | 0 | 0.34 | 2017 |
| On Termination, Confluence and Consistent CHR-based Type Inference. | 0 | 0.34 | 2014 |
| POSIX Regular Expression Parsing with Derivatives. | 2 | 0.41 | 2014 |
| Traceability and evidence of correctness of EDSL abstractions | 0 | 0.34 | 2013 |
| A framework for formal verification of systems of synchronous components. | 2 | 0.37 | 2012 |
| Constructive finite trace analysis with linear temporal logic | 5 | 0.48 | 2012 |
| Model checking DSL-generated c source code | 3 | 0.43 | 2012 |
| Regular expression sub-matching using partial derivatives | 9 | 0.60 | 2012 |
| Outsidein(x) modular type inference with local assumptions | 43 | 1.93 | 2011 |
| Tag-Free combinators for binding-time polymorphic program generation | 1 | 0.36 | 2010 |
| Concurrent goal-based execution of constraint handling rules | 2 | 0.39 | 2010 |
| Complete and decidable type inference for GADTs | 48 | 2.11 | 2009 |
| Hm(x) type inference is clp(x) solving | 9 | 0.67 | 2008 |
| Actors with multi-headed message receive patterns | 13 | 0.65 | 2008 |
| Type checking with open type functions | 66 | 3.19 | 2008 |
| Confluence for Functional Dependencies. | 0 | 0.34 | 2008 |
| Parallel execution of multi-set constraint rewrite rules | 5 | 0.45 | 2008 |
| Transactions in Constraint Handling Rules | 4 | 0.44 | 2008 |
| Language-Based Program Verification via Expressive Types | 2 | 0.38 | 2007 |
| Aspect-oriented programming with type classes | 4 | 0.41 | 2007 |
| Observable confluence for constraint handling rules | 25 | 1.35 | 2007 |
| System F with type equality coercions | 75 | 3.58 | 2007 |
| XHaskell --- Adding Regular Expression Types to Haskell | 12 | 0.66 | 2007 |
| A concurrent constraint handling rules implementation in Haskell with software transactional memory | 8 | 0.76 | 2007 |
| Understanding functional dependencies via constraint handling rules | 35 | 1.77 | 2007 |
| XHaskell | 0 | 0.34 | 2006 |
| Modular generic programming with extensible superclasses | 5 | 0.56 | 2006 |
| A Type-Safe Embedding of XDuce into ML | 5 | 0.47 | 2006 |
| Principal type inference for GHC-Style multi-parameter type classes | 7 | 0.65 | 2006 |
| Extracting programs from type class proofs | 3 | 0.39 | 2006 |
| A framework for extended algebraic data types | 9 | 0.78 | 2006 |
| A theory of overloading | 36 | 2.31 | 2005 |
| Type Inference for Guarded Recursive Data Types | 7 | 0.57 | 2005 |
| Improved Inference for Checking Annotations | 0 | 0.34 | 2005 |
| Sound and Decidable Type Inference for Functional Dependencies | 17 | 1.32 | 2004 |
| An Implementation of Subtyping Among Regular Expression Types | 12 | 0.79 | 2004 |
| Improving type error diagnosis | 18 | 0.83 | 2004 |
| The Chameleon Type Debugger (Tool Demonstration) | 0 | 0.34 | 2003 |
| Interactive type debugging in Haskell | 29 | 1.33 | 2003 |
| Resource Usage Verification | 23 | 0.98 | 2003 |
| An Overview of the Chameleon System | 1 | 0.39 | 2002 |
| A General Type Inference Framework for Hindley/Milner Style Systems | 10 | 0.54 | 2001 |
| Effective Strictness Analysis with HORN Constraints | 1 | 0.35 | 2001 |
| Boolean Constraints for Binding-Time Analysis | 6 | 0.45 | 2001 |
| Type Classes and Constraint Handling Rules | 9 | 0.74 | 2000 |
| Type inference with constrained types | 99 | 5.24 | 1999 |
| The Tableau-based Theorem Prover 3TAP Version 4.0 | 6 | 0.92 | 1996 |
