nLab Aaron Stump

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.