Research output per year
Research output per year
Fingerprint
Dive into the research topics where Kerewin Kokke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference contribution book
-
Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively
Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York, NY., p. 102-120 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Downloads (Pure)