Aaron Stump in nLab
Selected writings
Selected writings
On Agda as a verified functional programming language:
- Aaron Stump, Verified Functional Programming in Agda, Association for Computing Machinery and Morgan & Claypool (2016) [doi:10.1145/2841316, ISBN:978-1-970001-27-3]
category: people
Created on December 22, 2022 at 12:18:53. See the history of this page for a list of all contributions to it.