Tony Hoare has always been a leader in writing down and proving properties of programs. To prove properties of programs automatically, the most widely used technology today is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs ...
CITATION STYLE
Kiselyov, O., Jones, S. P., & Shan, C. (2010). Fun with Type Functions. In Reflections on the Work of C.A.R. Hoare (pp. 301–331). Springer London. https://doi.org/10.1007/978-1-84882-912-1_14
Mendeley helps you to discover research relevant for your work.