English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Calculating with Signatures

Calculating with Signatures

An extension to the signature language of ocaml. The patch is for ocaml-3.08.0 and provides some operations on signatures. It is still at an experimental state but mostly working.
Homepage ]
Author:Jürgen Pfitzenmaier.
Last modification date:04-Aug-2004
Development status:Development code
Kind: Patch
Topic: Programming languages :: Typing
Homepage:www.pfitzenmaier.de/sigcalc.html