Login / Signup

Session types for linear multithreaded functional programming.

Vasco Thudichum Vasconcelos
Published in: PPDP (2009)
Keyphrases
  • functional programming
  • execution model
  • functional language
  • quantifier elimination
  • programming language
  • object oriented programming
  • information systems
  • data sources