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
CC-BY-NC-ND
Abstract
Keywords
grounded theory;dependent types;interactive theorem provers;usability