• try it online!
  • freest is a concurrent functional programming language with polymorphic session types
  • dol is a object-oriented language with dependent types
  • sepi is a a concurrent programming language with linearly refined session types
  • mool mool is a mini OO languaged where class usage is described by types
  • (read more...)