A Grounded Theory Study of "How Interactive Theorem Prover Programmers Write Code"
Files
Publication date
Authors
DOI
Document Type
Master Thesis
Metadata
Show full item recordCollections
License
No license information available
Abstract
Keywords
grounded theory;dependent types;interactive theorem provers;usability