LFCS Seminar: Tuesday 12th May: Dan Ghica and Federico Pizzuti

Title: Modal types for Cangjie

 

Abstract

 

Modal types were successfully pioneered by OCaml in a production environment. We are aiming to reproduce and expand the lessons of OCaml in our programming language Cangjie, an industrial-strength multi-paradigm application-level language aimed for mass adoption. Note: This is a work in progress which may or may not find its way into a release.

 

Speaker bios:

 

Dan R. Ghica is a professor of computer science at the University of Birmingham whose work focuses on the semantics of programming languages, especially using category theory and diagrammatic methods (such as string diagrams) to model and reason about computation; his research also explores compiling high-level programs to unconventional hardware architectures, bridging theoretical computer science with practical systems. His work is also closely connected to ideas from linear logic, particularly in how it informs precise control over resources such as state, concurrency, and data flow in programming languages.

 

Federico Pizzuti is a software engineer based in Edinburgh who studied at the University of Edinburgh currently working at the Huawei Programming Language Lab (Edinburgh); his work sits at the intersection of systems and programming languages, with interests in compilers, type systems, and resource-sensitive computation influenced by ideas from linear logic.