J.-C. Filliātre and C. Marché. ocamlweb, a literate programming tool for Objective Caml. Available at http://www.lri.fr/~filliatr/ocamlweb/.

[ bib | http ]

Back