projects

  • safesessions _ safe concurrent programming with session types
  • confident _ communication contracts for distributed systems development
  • betty _ behavioural types for reliable large-scale software systems
  • multicore _ advanced type systems for multicore programming
  • (read more...)