Log of changes on this site

July 7, 2017

• A Time-Travel Story

June 1, 2017

• Typed Template Haskell is still not quite sound

May 5, 2017

• Effects Without Monads: Non-determinism an embedded non-deterministic DSL in the tagless-final style

April 5, 2017

• A new version of the delimcc library of delimited control, with small adjustments for OCaml 4.04
• More recipes for the tagless-final cookbook. DSLs for math layout and staging, including the surprisingly simple staging calculus with several backends

March 1, 2017

• Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.
  Section 2.1 of the paper recounts and summarizes the development and motivations for let-polymorphism, value restriction and its relaxation
• Having an Effect: added a link to the recorded presentation (1h38m)

February 4, 2017

• Metropolis-Hastings for Mixtures of Conditional Distributions

January 1, 2017

• Stream Fusion, to Completeness
• BER MetaOCaml N104 with first-class pattern-matching, genlet and native mode
• Region Memory Management for Free Variables: Type- and Scope-Safe Code Generation with Mutable Cells
• Hakaru10: Embedded Probabilistic Programming and MCMC Inference
• Answer-Type Modification without tears: Prompt-passing style translation for typed delimited-control operators

December 5, 2016

• Compositional semantics of `same', `different', `total'
• Two styles of linguistic semantic analyses: proof search vs. computation

November 1, 2016

• Eff directly in OCaml

October 12, 2016

• Parameterized extensible effects and session types

September 13, 2016

• Having an Effect

August 19, 2016

• Typed final (tagless-final) style (reorganized and updated)

August 2015 through July 2016

continues in a separate document, ChangeLog-20.html

December 1995 through August 1996

continues in a separate document, ChangeLog-0.html