# Type systems for the masses: deriving soundness proofs and efficient checkers

> Research article (2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2015) · cited 27× · AI/ML

**Wikidata**: [openalex:W2014334120](https://www.wikidata.org/wiki/openalex:W2014334120)  
**Source**: https://4ort.xyz/entity/type-systems-for-the-masses-deriving-soundness-proofs-and-efficient-checkers