E-LIB Suche - Ergebnisse für: Peyton Jones, Michael

1

Babel Fees via Limited Liabilities:

, In: Applied Cryptography and Network Security; Lecture Notes in Computer Science,

Chakravarty, Manuel M. T. ; Karayannidis, Nikos ; Kiayias, Aggelos.. - p. 707-726 , 2022

Link: https://doi.org/10.1007/..

2

The Extended UTXO Model:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 525-539 , 2020

Link: https://doi.org/10.1007/..

3

UTXO$$_{\textsf {ma}}$$: UTXO with Multi-asset Support:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,

Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 112-130 , 2020

Link: https://doi.org/10.1007/..

4

Native Custom Tokens in the Extended UTXO Model:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,

Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 89-111 , 2020

Link: https://doi.org/10.1007/..

5

Unraveling Recursion: Compiling an IR with Recursion to Sys..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Peyton Jones, Michael ; Gkoumas, Vasilis ; Kireev, Roman... - p. 414-443 , 2019

Link: https://doi.org/10.1007/..

6

Fixing Incremental Computation: Derivatives of Fixpoints, a..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Alvarez-Picallo, Mario ; Eyers-Taylor, Alex ; Peyton Jones, Michael. - p. 525-552 , 2019

Link: https://doi.org/10.1007/..

7

Bringing computer science back into schools : lessons fr..:

, In: Proceeding of the 44th ACM technical symposium on Computer science education,

Brown, Neil Christopher Charles ; Kölling, Michael ; Crick, Tom... - p. 269-274 , 2013

Link: https://dl.acm.org/doi/1..

8

Contributors:

, In: The Youth Athlete,

Aaron, Da'Von ; Ackerman, Kathryn E. ; Alex, Diamond... - p. xi-xvi , 2023

Link: https://doi.org/10.1016/..

9

Babel Fees via Limited Liabilities:

Chakravarty, Manuel M. T ; Karayannidis, Nikos ; Kiayias, Aggelos..
http://arxiv.org/abs/2106.01161. , 2021

Link: http://arxiv.org/abs/210..

10

Fixing Incremental Computation: Derivatives of Fixpoints, a..:

Alvarez-Picallo, Mario ; Eyers-Taylor, Alex ; Jones, Michael Peyton.
http://arxiv.org/abs/1811.06069. , 2018

Link: http://arxiv.org/abs/181..

11

QL: Object-oriented Queries on Relational Data:

Avgustinov, Pavel ; de Moor, Oege ; Jones, Michael Peyton
doi:10.4230/LIPIcs.ECOOP.2016.2. , 2016

Link: https://doi.org/10.4230/..

12

Low-Cost Remote Monitoring Solutions for Sustainable Water ..:

, In: 2023 IEEE Global Humanitarian Technology Conference (GHTC),

Silk, Jamie ; Jones, James Peyton ; Newman, Michael. - p. 414-418 , 2023

Link: https://doi.org/10.1109/..

13

Proceedings of the second ACM SIGPLAN international confere..:

Jones, Simon Peyton ; Tofte, Mads ; Berman, A. Michael , 1997

Link: https://dl.acm.org/doi/1..

14

Bringing computer science back into schools:lessons from th..:

Brown, Neil Christopher Charles ; Kölling, Michael ; Crick, Tom...
Brown , N C C , Kölling , M , Crick , T , Peyton Jones , S , Humphreys , S & Sentance , S 2013 , Bringing computer science back into schools : lessons from the UK . in SIGCSE '13 : Proceeding of the 44th ACM technical symposium on Computer science education . New York, NY , pp. 269-274 , Proceeding of the 44th ACM technical symposium , Denver, Colorado, USA , United Kingdom , 6/03/2013 . https://doi.org/10.1145/2445196.2445277. , 2013

Link: https://kclpure.kcl.ac.u..

15

Bringing computer science back into schools:lessons from th..:

Brown, Neil Christopher Charles ; Kölling, Michael ; Crick, Tom...
Brown , N C C , Kölling , M , Crick , T , Peyton Jones , S , Humphreys , S & Sentance , S 2013 , Bringing computer science back into schools : lessons from the UK . in SIGCSE '13 : Proceeding of the 44th ACM technical symposium on Computer science education . New York, NY , pp. 269-274 , Proceeding of the 44th ACM technical symposium , Denver, Colorado, USA , United Kingdom , 6/03/2013 . https://doi.org/10.1145/2445196.2445277. , 2013

Link: https://kclpure.kcl.ac.u..