Michael Peyton Jones
Orcid: 0000-0003-0602-1657
According to our database1,
Michael Peyton Jones
authored at least 7 papers
between 2016 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Applied Cryptography and Network Security, 2022
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Financial Cryptography and Data Security, 2020
2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
Proceedings of the Programming Languages and Systems, 2019
2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016