Write-ups

• 17 Mar 2015 » Combining Unification with SMT
• 10 Mar 2015 » Extending Unification-based Inference to RelParams and ParamRels
• 07 Feb 2015 » Paper Review - Qiu et al's Natural Proofs (PLDI'13)
• 02 Feb 2015 » Unification-based Type Inference Algorithm for Catalyst
• 27 Jan 2015 » Inferring Disjuncts
• 22 Jan 2015 » Primitive Relation Synthesis
• 19 Jan 2015 » Catalyst Type Inference Review
• 15 Jan 2015 » Paper Review - A Data-Driven Approach for Algebraic Loop Invariants - R Sharma et al
• 10 Jan 2015 » Alternative Approach to Type Inference
• 31 Dec 2014 » Comparing Catalyst Type Inference to Popeye's
• 15 Nov 2014 » Catalyst Type Inference
• 15 Nov 2014 » Catalyst Type Inference
• 30 Oct 2014 » Deriving Consistency Contracts from Integrity Constraints
• 22 Oct 2014 » Rosette
• 08 Sep 2014 » Generalizing Catalyst
• 15 Jul 2014 » ML Type Inference
• 04 Jul 2014 » Haskell Comparision
• 30 May 2014 » Broom Type System - Related Work
• 11 May 2014 » Codeec Z3 Encoding
• 21 Apr 2014 » Monadic Types for Codeec
• 16 Apr 2014 » Codeec Formalization
• 11 Apr 2014 » Catalyst style reasoning in Codeec
• 05 Apr 2014 » Third Homomorphism Theorem and Divide-and-Conquer Parallelism
• 11 Mar 2014 » Mso
• 16 Feb 2014 » Simpler Semantics for Parametric Relations
• 13 Feb 2014 » Examples
• 21 Dec 2013 » Implementation Observations
• 17 Dec 2013 » General Framework for Dependent Types in Haskell
• 14 Dec 2013 » Haskell Comparision
• 13 Dec 2013 » Verification with General Relations
• 10 Dec 2013 » General Relations
• 13 Sep 2013 » Bidirectional Rules