Log of changes on this site

January 1, 2012

• Objections to overlapping instances
• Type-level type introspection, equality and matching
• Overcoming Overlapping
• IO monad realized in 1965
• Syntax-semantics interface and the non-trivial computation of meaning
• Purely Functional Lazy Non-deterministic Programming: An extended, journal version of the paper
• Shifting the Stage: Staging with Delimited Control: An extended, journal version of the paper

December 4, 2011

• Tagless-Staged: a step toward MetaHaskell
• Computational Effects across Generated Binders
• What is lexical scope and how to enforce it
• A new version of the HList library

November 4, 2011

• Delimited control and breadth-first, depth-first, and iterative deepening search
• How to reify fresh type variables?
• The depth of a type

October 1, 2011

• Introduction to programming with shift and reset: Tutorial session of the Continuation Workshop 2011
• Type Equalities, Disequalities, and Overlapping Instances

September 8, 2011

• Implementing Explicit and Finding Implicit Sharing in Embedded DSLs
• Explicit sharing across several expressions

August 5, 2011

• Proving False with impredicativity, injectivity, and type case analysis
• Tracking dynamic values in types
• Delimited continuations with effect typing: A parsimonious way of showing that the captured delimited continuation is pure and hence answer-type polymorphic

August 2010 through July 2011

continues in a separate document, ChangeLog-15.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html