Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

Registered user since Sat 14 Jan 2017

Name: Mark Wassell

Affiliation: University of Cambridge

Personal website: https://www.cl.cam.ac.uk/~mpew2/

Research interests: Programming Languages, Logic, Semantics, Type Theory

Contributions

CPP 2021 Formalising MiniSail in Isabelle
Show activities from other conferences

Using general profile