1 research outputs found
Safer smart contract programming with Scilla
- Author
- Albert Elvira
- Alt Leonardo
- Atzei Nicola
- Bano Shehar
- Bansal Kshitij
- Blackshear Sam
- Chang Jialiang
- Charguéraud Arthur
- Coblenz Michael
- del Castillo Michael
- Dietl Werner
- Filinski Andrzej
- Foundation Ethereum
- Foundation IOHK
- Foundation IOHK
- Grishchenko Ilya
- Grossman Shelly
- Kalra Sukrit
- Kennedy Andrew
- Kolluri Aashish
- Krupp Johannes
- Launchbury John
- Liang Sheng
- Lynch Nancy A.
- Marescotti Matteo
- Mitchell John C.
- Nakamoto Satoshi
- Owens Scott
- O’Connor Russell
- Peyton Jones Simon L.
- Peyton Jones Simon L.
- Pollack Robert
- Rodler Michael
- Rosu Grigore
- Schrans Franklin
- Schrans Franklin
- Sergey Ilya
- Sergey Ilya
- Sergey Ilya
- Sestoft Peter
- Shali Amin
- Tsankov Petar
- Wiki Bitcoin
- Wood Gavin
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
