Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sven Keidel

Registered user since Thu 24 Mar 2016

Name: Sven Keidel

Country: Netherlands

Affiliation: Delft University of Technology, Netherlands

Personal website: http://svenkeidel.de

Research interests: Abstract Interpretation, Type Systems, Category Theory


ICFP 2018 Compositional Soundness Proofs of Abstract Interpreters
Show activities from other conferences

ICFP 2018-profile
View general profile