Hacker News
- Safer smart contracts through type-driven development in idris [pdf] http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 2 comments
- Don't throw away the baby with the bathwater - Solidity is unsafe, the EVM can be safe http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 31 comments ethereum
Linking pages
- Updates on Ethereum’s Moon Project | by Victor Maia | Medium https://medium.com/@maiavictor/updates-on-ethereums-moon-project-535f8c0497ef 16 comments
- GitHub - evm-lang-design/evm-lang-design: Language Design Community for the EVM: Intro and Resources https://github.com/fp-ethereum/fp-ethereum 9 comments
- WINGS Specification Series #1: DAO security and the Ethereum Virtual Machine | by WINGS Magazine | Wings Dao https://medium.com/@wings.ai/wings-specification-series-1-dao-security-and-the-ethereum-virtual-machine-ca62e3df8cd9#.smtctg7qg 7 comments
- WINGS Specification Series #1: DAO security and the Ethereum Virtual Machine — Steemit https://steemit.com/blockchain/@decrypt/wings-specification-series-1-dao-security-and-the-ethereum-virtual-machine 0 comments
Related searches:
Search whole site: site:publications.lib.chalmers.se
Search title: Safer smart contracts through type-driven development in idris [pdf]
See how to search.