History of notes-computer-programming-programmingLanguageDesign-prosAndCons-dependentTypes
2013-01-26
14:43 UTC
Revision 1
. . . .
BayleShanks
–
Why Dependent Types Matter: http://www.cs.nott.ac.uk/%7Etxa/publ/ydtm.pdf increase expressiveness: . . .