Data.Typeable, in the tagless-final style.
delimcclibrary: Native delimited continuations in (byte-code) OCaml
delimccin Scheme. The specialization of the code yields a new implementation of the ordinary shift/reset in R5RS Scheme, which is memory efficient even if the underlying call/cc copies the whole stack.
continues in a separate document, ChangeLog-13.html