Bohdan Liesnikov - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Not registered as user yet

Name:Bohdan Liesnikov

Affiliation:Delft University of Technology

Contributions

2024

APLAS

Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language

Show activities from other conferences

Using general profile