Type Inference for BoCa

This page demonstrates a prototypal implementation of a type inference algorithm for:
A Calculus of Bounded Capacities
F.Barbanera, M.Bugliesi, M.Dezani-Ciancaglini, and V.Sassone. [pdf]

The current version (released in January 2005, developed by U. de Liguoro and G. Falzetta) is written in SWI-Prolog.

Here you can find:

  • code source [.pl]
  • a description of:
    • the prototipal implementation [.pdf]
    • the accepted SYNTAX
  • and someEXAMPLES that you can copy and paste

Comments to: falzetta[at]di[dot]unito[dot]it Last update: February, 2005