Login / Signup
Dimitur Nikolaev Krustev
Publication Activity (10 Years)
Years Active: 1999-2020
Publications (10 Years): 2
Top Topics
Extended Abstract
Practical Experience
Development Environment
Database
Top Venues
CoRR
Trends in Functional Programming
VPT/HCVS@ETAPS
</>
Publications
</>
Dimitur Nikolaev Krustev
Optimizing Program Size Using Multi-result Supercompilation.
VPT/HCVS@ETAPS
(2020)
Dimitur Nikolaev Krustev
Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract).
CoRR
(2020)
Dimitur Nikolaev Krustev
Towards a Framework for Building Formally Verified Supercompilers in Coq.
Trends in Functional Programming
(2012)
Dimitur Nikolaev Krustev
Software Test Generation Using Refinement Types.
ASE
(1999)