- Composable Proof-of-Stake Blockchains with Dynamic Availability Christian Badertscher Peter Gażi Aggelos Kiayias Alexander Russel Vassilis Zikas Fri 27 April 2018
- Timed pushdown automata revisited L. Clemente S. Lasota Thu 26 April 2018
- Beginner's Luck: A Language for Property-based Generators Leonidas Lampropoulos Diane Gallois-Wong Cătălin Hriţcu John Hughes Benjamin C. Pierce Li-yao Xia Wed 25 April 2018
- Testing an Optimising Compiler by Generating Random Lambda Terms Michał H. Pałka Koen Claessen Alejandro Russo John Hughes Wed 25 April 2018
- Testing an Optimising Compiler by Generating Random Lambda Terms Michał Pałka Wed 25 April 2018
- Generating Random Terms in Beta Normal Form of the Simply-Typed Lambda Calculus Jue Wang Wed 25 April 2018
- Random generation of closed simply-typed Maciej Bendkowski Katarzyna Grygiel Paul Tarau Wed 25 April 2018
- On type-directed generation of lambda terms Paul Tarau Wed 25 April 2018
- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms Paul Tarau Wed 25 April 2018
- Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher Koen Claessen Michał Pałka John Hughes Robert Bruce Findler Wed 25 April 2018
- Blockchain Mining Games Aggelos Kiayias Elias Koutsoupias Maria Kyropoulou Yiannis Tselekounis Wed 25 April 2018
- Enumerating Well-Typed Terms Generically Alexey Rodriguez Yakushev Johan Jeuring Tue 24 April 2018
- Composing Contracts: An Adventure in Financial Engineering (Functional Pearl) Simon Peyton Jones Jean-Marc Eber Julian Seward Sun 22 April 2018
- BitML: a calculus for Bitcoin smart contracts Massimo Bartoletti Roberto Zunino Sun 22 April 2018
- Adding Concurrency to Smart Contracts Thomas Dickerson Paul Gazzillo Maurice Herlihy Eric Koskinen Sun 22 April 2018
- Scilla: a Smart Contract Intermediate-Level LAnguage Ilya Sergey Amrit Kumar Aquinas Hobor Sun 22 April 2018
- Formal Verification of Smart Contracts: Short Paper Karthikeyan Bhargavan Antoine Delignat-Lavaud Cédric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi Natalia Kulatova Aseem Rastogi Thomas Sibut-Pinote Nikhil Swamy Santiago Zanella-Béguelin Sun 22 April 2018
- Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts Shelly Grossman Ittai Abraham Guy Golan-Gueta Yan Michalevsky Noam Rinetzky Mooly Sagiv Yoni Zohar Sun 22 April 2018
- Psi-calculi: Mobile Processes, Nominal Data, and Logic J. Bengtson M. Johansson J. Parrow B. Victor Mon 16 April 2018
- Exercising Psi-calculi - A Psi-calculi workbench Ramunas Gutkovas Mon 16 April 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
