Bohdan Liesnikov

Orcid: 0009-0000-2216-8830

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments.

[DOI]

Art Sci. Eng. Program., 2025

2024

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

[DOI]

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

2023

ExEl: Building an Elaborator Using Extensible Constraints.

[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.

[DOI]

CoRR, 2020