Christopher Jenkins
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2022
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.
CoRR, 2022
2021
Math. Struct. Comput. Sci., 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020
2019
CoRR, 2019
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019
2018
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018
2007
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007