Publications by Faculty and Students
Christopher Stone: 2010
-
Bauer, Andrej and Christopher A. Stone
Specifications via Realizability, ETAPS 2005 Workshop on Constructive Logic for Automated Software Engineering (CLASE), Edinburgh, UK
-
Bauer, Andrej and Christopher A. Stone
RZ: a tool for bringing constructive and computable mathematics closer to programming practice, Computability in Europe 2007: Computation and Logic in the Real World, Journal of Logic and Computation, Siena, Italy
-
Stone, Christopher A.
Type Definitions
-
Stone, Christopher A. and Andrew P. Schoonmaker
Equational Theories for Recursive Types, HMC Technical Report
