Follow
Bohdan Liesnikov
Bohdan Liesnikov
Other namesБогдан Лєсніков
TU Delft
Verified email at tudelft.nl - Homepage
Title
Cited by
Cited by
Year
Generating induction principles and subterm relations for inductive types using MetaCoq
B Liesnikov, M Ullrich, Y Forster
arXiv preprint arXiv:2006.15135, 2020
52020
ExEl: Building an Elaborator Using Extensible Constraints
B Liesnikov, J Cockx
The 35th Symposium on Implementation and Application of Functional Languages …, 2023
2023
Building an elaborator using extensible constraints
B Liesnikov, J Cockx
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
The system can't perform the operation now. Try again later.
Articles 1–3