Unifying Programming and Math – The Dependent Type Revolution

7 points| simonb | 13 years ago |spin.atomicobject.com | reply