Log of changes on this site

September 13, 2017

Higher-order Programming is an Effect

August 10, 2017

When Monads will not do and other improvements to the article ``Effects Without Monads: Non-determinism''

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

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