notes-computer-programming-programmingLanguagesBook
* [Self:notes-computer-programming-programmingLanguagesBook-programmingLanguagesChRestrictedLangs programmingLanguagesChRestrictedLangs] . . .
10K - last updated 2014-06-28 01:40 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook--index
* [Self:notes-computer-programming-programmingLanguagesBook-programmingLanguagesChRestrictedLangs programmingLanguagesChRestrictedLangs] . . .
10K - last updated 2014-06-28 01:40 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
9K - last updated 2014-06-28 01:23 UTC by BayleShanks
3 pages found.