A Sound Type System for Physical Quantities, Units, and Measurements
by Simon Foster and Burkhart Wolff
Simon Foster
2020
2019
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff
2017
Optics
by Simon Foster and Frank Zeyda
2014
Relation Algebra
by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber