Bohdan Liesnikov

According to our database¹, Bohdan Liesnikov authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

ExEl: Building an Elaborator Using Extensible Constraints.

[BibT_eX]

[DOI]

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2020

Generating induction principles and subterm relations for inductive types using MetaCoq.

[BibT_eX]

[DOI]

CoRR, 2020