Log of changes on this site
August 2017 through July 2018

Please refer to ChangeLog.html for the most recent changes

July 14, 2018

• Bird migration problem: an example of using Hakaru10

June 10, 2018

• Monograph Reconciling Abstraction with High Performance: A MetaOCaml approach

May 11, 2018

• lambda to SKI: the first compositional translation

April 1, 2018

• Bit-level, monad- and applicative-free parsing of AIS ship reports

March 9, 2018

• New version of the delimcc library. It should work for OCaml 4.04-4.06; the C code can be compiled with GCC 7.2 and below or clang 5.0.1

February 5, 2018

• Transformational Semantics (TS): Gradually Transforming Syntax to Semantics. The implementation relies on tagless-final and extensible-effects

January 5, 2018

• Sound and Efficient Language-Integrated Query -- Maintaining the ORDER: or, easy and practical denotational semantics for query optimization
• Effects Without Monads: Non-determinism. Added a remark that the separation between pure and effectful expressions is a matter of (lax) modality rather than monad
• Published Transformational Semantics papers. ``Applicative Abstract Categorial Grammars in Full Swing'' (LNAI, v10091) and ``Non-canonical Coordination in the Transformational Approach'' (LNCS, v10247)
• Transformational Semantics (TS) on a Tree Bank

December 11, 2017

• Extensible Effects: understanding them, implementing them, using them. A Tutorial Part 2: Extensibility

November 4, 2017

• The challenge of first-class memory

October 10, 2017

• Extensible Effects: understanding them, implementing them, using them. A Tutorial (Part 1: effects as interactions)

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''

August 2016 through July 2017

continues in a separate document, ChangeLog-21.html