Michael Peyton Jones

According to our database1, Michael Peyton Jones authored at least 6 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
UTXO<sub>sf ma</sub>: UTXO with Multi-asset Support.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.
Proceedings of the Financial Cryptography and Data Security, 2020

2019
Unraveling Recursion: Compiling an IR with Recursion to System F.
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
QL: Object-oriented Queries on Relational Data.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016


  Loading...