17 citations · 77 across the 28 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021
Long-Term Productivity Based on Science, not Preference
Spencer Smith, Jacques Carette
This position paper argues that decisions on processes, tools, techniques and software artifacts (such as user manuals, unit tests, design documents and code) for scientific softwa…
cs.SE2021
Methodology for Assessing the State of the Practice for Domain X
Spencer Smith, Jacques Carette, Peter Michalski +2
To improve software development methods and tools for research software, we first need to understand the current state of the practice. Therefore, we have developed a methodology f…
cs.LO2021
A Machine-checked proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory
William DeMeo, Jacques Carette
The Agda Universal Algebra Library (agda-algebras) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in depend…