Frank S. de Boer

Registered user since Tue 15 Mar 2016

Name:Frank S. de Boer
Affiliation:Centrum Wiskunde & Informatica, Leiden University
Personal website:http://www.cwi.nl/~frb
Research interests:Semantics and proof theory programming languages

Contributions

VORTEX 2019 Co-chair in Organizing Committee within the VORTEX 2019-track
Co-chair in Program Committee within the VORTEX 2019-track
Show activities from other conferences

ECOOP 2019-profile
View general profile