notes-computer-programming-programmingLanguageDesign-prosAndCons
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons--index
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-dependentTypes
Why Dependent Types Matter: http://www.cs.nott.ac.uk/%7Etxa/publ/ydtm.pdf increase expressiveness: http://www.seas.upenn.edu/%7Esweirich/ssgip/main.pdf . . .
1K - last updated 2013-01-26 14:43 UTC by BayleShanks
3 pages found.