( en | de | ru )

 

Disambiguation of "Jones, Michael Peyton"

Author of the publication

copydeleteadd this publication to your clipboard
Unraveling Recursion: Compiling an IR with Recursion to System F.

, , , , , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 414-443. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Wynne-Jones

Hugh Jones

Jens Olaf Jonescheit

Janet Jones-Ullmann

Arun W Jones

 

Other publications of authors with the same name

UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)Babel Fees via Limited Liabilities., , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)The Extended UTXO Model., , , , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 525-539. Springer, (2020)Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog., , , and . CoRR, (2018)Babel Fees via Limited Liabilities., , , , and . CoRR, (2021)Unraveling Recursion: Compiling an IR with Recursion to System F., , , , , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 414-443. Springer, (2019)Native Custom Tokens in the Extended UTXO Model., , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 89-111. Springer, (2020)Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog., , , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 525-552. Springer, (2019)