A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Elsewhen
Robert A. Heinlein
Categories for the Working Mathematician
Saunders Mac Lane
ProgrammingAsIfDo[..]
Unknown
Star-Crossed
LadyKarai