Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Chakravarty, Manuel M. T."'
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial
Externí odkaz:
http://arxiv.org/abs/2201.04919
Autor:
Chakravarty, Manuel M. T., Karayannidis, Nikos, Kiayias, Aggelos, Jones, Michael Peyton, Vinogradova, Polina
Custom currencies (ERC-20) on Ethereum are wildly popular, but they are second class to the primary currency Ether. Custom currencies are more complex and more expensive to handle than the primary currency as their accounting is not natively performe
Externí odkaz:
http://arxiv.org/abs/2106.01161
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chakravarty, Manuel M. T., Chapman, James, MacKenzie, Kenneth, Melkonian, Orestis, Jones, Michael Peyton, Wadler, Philip
Publikováno v:
Lecture Notes in Computer Science; 2020, p525-539, 15p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
If you want to program a parallel computer, a purely functional language like Haskell is a promising starting point. Since the language is pure, it is by-default safe for parallel evaluation, whereas imperative languages are by-default unsafe. But th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ce259fb96dfb1984237ebce4f70107f
Publikováno v:
ACM / SIGPLAN Notices; Oct2017, Vol. 52 Issue 10, p174-185, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014, Proceedings; 2014, p136-151, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.