PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / Frank S. de Boer
![Frank S. de Boer](https://conf.researchr.org/getProfileImage/franksdeboer/81aa5154-5363-4430-aa0a-5e9b84810ac2/small.jpg?1711473813000)
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
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile