/generic-count

implementing generic count using undelimited continuations, delimited continuations, and effect handlers

Primary LanguageOCamlApache License 2.0Apache-2.0

Implementations of generic count with first-class control

This repository contains code associated with the following papers:

Note that the code in this repository is not part of the companion artifact code published along side the papers. See the papers for details on their artifacts.


The code in this repository illustrates different implementations of the generic count problem using delimited continuations (shift/reset), undelimited continuations (callcc) and state, and effect handlers.