Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
ICFP 2018 (series) / Jan-Oliver Kaiser

Not registered as user yet

Name: Jan-Oliver Kaiser

Affiliation: MPI-SWS

Contributions

ICFP 2018Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
Show activities from other conferences

ICFP 2018-profile
View general profile