AXONIAxLang Lightning Talk at Devcon4Compiling Scala to EVM Bytecode for Secure and Reliable Ethereum Smart Contracts2 min read·Nov 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…3 min read·Apr 23, 2018--1--1
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…4 min read·Mar 5, 2018--6--6