31 de julio de 2009

A System F accounting for scalars

Hoy hemos enviado la versión extendida del paper del Scalar Type System a un journal internacional. El preprint se puede descargar del arXiv (arXiv:0903.3741).
Esta versión incluye:
  • La prueba completa de subject reduction
  • La prueba completa de strong normalisation
  • La definición formal y prueba del probabilistic type system
  • La prueba completa del teorema de no-cloning