University of Kent has a consolidated research group on practical and theoretical aspects of Programming languages and systems (PLAS) for a broad range of paradigms including concurrent, functional, logic, and
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a very important notion for dealing with such types
The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go’s concurrency primitives, inspired by process calculi such as CCS