Log of changes on this site
August 2011 through July 2012

Please refer to ChangeLog.html for the most recent changes

July 4, 2012

• Lecture notes and code for the five-day NASSLLI 2012 course Lambda: the ultimate syntax-semantics interface. The course was intended also as an interface between linguists and computer scientists.
• References and further reading for the NASSLLI 2012 course
• A story of scope and control: nested generator bindings and nested loops
• Parallel bindings and Parallel loops
• Final report of the Shonan workshop Bridging the theory of staged programming languages and the practice of high-performance computing. Tangible outcomes and the Shonan Challenge

June 5, 2012

• Iteratees: the paper. A simple introduction to using and reasoning with Iteratee IO
• Applicative Abstract Categorial Grammar: a more detailed introduction
• Bridging the theory of staged programming languages and the practice of high-performance computing: Shonan workshop

May 5, 2012

• Preventing memoization in (AI) search problems
• Why a program in CPS specializes better

April 5, 2012

• Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms
• Combining Monadic Regions and Iteratees

March 4, 2012

• Delimited continuations do dynamic-wind
• Model checking of Haskell Functional Dependencies

February 4, 2012

• Programming as collaborative reference
• Composing stream producers
• Hiding parameterized monad: shift/reset in a seemingly direct-style in Haskell

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