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
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
5 pages found.