AXONIAxLang Lightning Talk at Devcon4Compiling Scala to EVM Bytecode for Secure and Reliable Ethereum Smart ContractsNov 15, 2018Nov 15, 2018
AXONIAxLang Case Study: A Formally Verifiable Derivatives Contract Library (VIDEO)April 23, 2018 (New York) — In our previous update we introduced AxLang, a new smart contract programming language based on Scala that…Apr 23, 20181Apr 23, 20181
AXONIAxLang: Formally Verifiable Smart Contracts for the Ethereum EcosystemMarch 5, 2018 (New York) — Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables…Mar 5, 20186Mar 5, 20186