Higher-kinded programming in OCaml
OCaml Shell
Latest commit 07b1301 Jun 13, 2016 @yallop yallop committed on GitHub Merge pull request #8 from yallop/topkg-dependency
Switch to released topkg; use carcass-generated package layout.

README.md

higher

Higher-kinded programming in OCaml, as described in

      Lightweight Higher-Kinded Polymorphism
      Jeremy Yallop and Leo White
      Functional and Logic Programming 2014

You can install higher using opam:

opam install higher