Login / Signup

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

Viviana BonoLuca PadovaniAndrea Tosatto
Published in: FMOODS/FORTE (2013)
Keyphrases
  • leak detection
  • functional language
  • functional programming
  • programming language