Johannes Åman Pohjola
According to our database^{1},
Johannes Åman Pohjola
authored at least 16 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
Do you have space for dessert? a verified space cost semantics for CakeML programs.
Proc. ACM Program. Lang., 2020
Log. Methods Comput. Sci., 2020
Mechanisation of Modeltheoretic Conservative Extension for HOL with Adhoc Overloading.
Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
2019
J. Autom. Reason., 2019
Characteristic Formulae for Liveness Properties of NonTerminating CakeML Programs.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Program Verification in the Presence of I/O  Semantics, Verified Library Routines, and Verified Applications.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2016
Culling Concurrency Theory : Reusable and trustworthy metatheory, proof techniques and separation results.
PhD thesis, 2016
Log. Methods Comput. Sci., 2016
Proceedings of the Programming Languages and Systems, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2015
Softw. Syst. Model., 2015
2014
Math. Struct. Comput. Sci., 2014
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014
2013
Proceedings of the Trustworthy Global Computing  8th International Symposium, 2013