notes-computer-jasper
* [Self:notes-computer-jasper-jasperScopeNotes1 jasperScopeNotes1] * [Self:notes-computer-jasper-jasperTypeNotes1 . . .
10K - last updated 2014-06-28 01:35 UTC by BayleShanks
notes-computer-jasper--index
* [Self:notes-computer-jasper-jasperScopeNotes1 jasperScopeNotes1] * [Self:notes-computer-jasper-jasperTypeNotes1 . . .
10K - last updated 2014-06-28 01:35 UTC by BayleShanks
notes-computer-jasper-jasperType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperTypeNotes1
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
153K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
9K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperTypesLinks
==== toreads for this ==== * chapter 1 of Principles of Program Analysis (http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0 . . .
2K - last updated 2014-06-28 01:26 UTC by BayleShanks
proj-jasper-jasperType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2014-07-12 05:09 UTC by BayleShanks
8 pages found.