
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
ECOOP and ISSTA 2018-profile
View general profile
View general profile