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...)