A Sound Type System for Physical Quantities, Units, and Measurements by Simon Foster and Burkhart Wolff Oct 20
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff Feb 01