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