18 citations · 43 across the 7 of their papers we have counts for
10 papers
Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We survey the field of model management and describe a new model management approach based on algebraic specification.
Formal Methods for the Informal Engineer: Workshop Recommendations
Gopal Sarma, James Koppel, Gregory Malecha +5
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biom…
Temporal Type Theory: A topos-theoretic approach to systems and behavior
Patrick Schultz, David I. Spivak
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as…
Dynamical Systems and Sheaves
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sor…
Algebraic Databases
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou +1
Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a categ…
QINL: Query-integrated Languages
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ…