Research output per year
Research output per year
Fingerprint
Dive into the research topics where B. Liesnikov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Conference contribution
-
Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language
Liesnikov, B. & Cockx, J., 2025, Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Kiselyov, O. (ed.). Singapore: Springer, p. 63-83 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Datasets
-
Code underlying the publication: Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
Liesnikov, B. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 16 Aug 2024
DOI: 10.4121/6F239149-2526-42A0-8D07-D0E9D6714F7F, https://conf.researchr.org/details/aplas-2024/aplas-2024-research-papers/13/Building-A-Correct-By-Construction-Type-Checker-for-a-Dependently-Typed-Core-Language
Dataset/Software: Dataset
-
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Liesnikov, B. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 21 Mar 2024
DOI: 10.4121/E74FD14A-DA79-4686-97E8-143AC5E0858D
Dataset/Software: Software