Full bibliography

Return to list of results

Verified Functional Programming in Agda

Read document
RIS

Recommended format for most reference management software

BibTeX

Recommended format for BibTeX-specific software

Resource type
Book
Author/contributor
Title
Verified Functional Programming in Agda
Publisher
Association for Computing Machinery
Date
2016-2-1
ISBN
978-1-970001-27-3
URL
http://dl.acm.org/citation.cfm?id=2841316
Accessed
10/3/20, 3:54 AM
Library Catalog
DOI.org (Crossref)
Extra
DOI: 10.1145/2841316
Citation
Stump, A. (2016). Verified Functional Programming in Agda. Association for Computing Machinery. https://doi.org/10.1145/2841316
Document
Link to this record
https://bestbackgrounders.info/bibliography/86ZAIALP