Search for: "ideas-computer-jasper-jasperTypeNotes1"

View changes for these pages

ideas-computer-jasper
* [Self:ideas-computer-jasper-jasperLevels jasperLevels] * [Self:ideas-computer-jasper-jasperMetaprogramming . . .
10K - last updated 2014-06-27 01:10 UTC by BayleShanks

ideas-computer-jasper--index
* [Self:ideas-computer-jasper-jasperLevels jasperLevels] * [Self:ideas-computer-jasper-jasperMetaprogramming . . .
10K - last updated 2014-06-27 01:10 UTC by BayleShanks

ideas-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-27 00:41 UTC by BayleShanks

ideas-computer-jasper-jasperTypeNotes1
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
153K - last updated 2014-06-11 06:53 UTC by BayleShanks

4 pages found.