Follow
Christopher Schwaab
Christopher Schwaab
University of St Andrews
Verified email at st-andrews.ac.uk
Title
Cited by
Cited by
Year
Modular type-safety proofs in Agda
C Schwaab, JG Siek
Proceedings of the 7th workshop on Programming languages meets program …, 2013
272013
Proof-carrying plans
C Schwaab, E Komendantskaya, A Hill, F Farka, RPA Petrick, J Wells, ...
Practical Aspects of Declarative Languages: 21th International Symposium …, 2019
42019
Modular type-safety proofs using dependant types
C Schwaab, JG Siek
arXiv preprint arXiv:1208.0535, 2012
22012
Safety first: targeting embedded systems with full-spectrum dependent types
C Schwaab, M Pfeiffer, E Brady
TFP, 2015
12015
Verified programming with explicit coercions
C Schwaab
University of St Andrews, 2019
2019
Type-Directed Reasoning for Probabilistic, Non-Compositional Resources
C Schwaab, E Brady, K Hammond
2017
The system can't perform the operation now. Try again later.
Articles 1–6