Type Theory
The Edge Programming Language
The Vyper Compiler
The Ether Deck
Fuel VM Binary Analysis
Ethereum Virtual Machine Language Design