Write a Blog >>
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


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

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile