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