Equivalence via Surjections
golem.ph.utexas.edu·5h
A safer C++ pointer class
techblog.rosemanlabs.com·1d·
Discuss: Hacker News