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

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

ideas-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-26 08:26 UTC by BayleShanks

ideas-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-05-24 19:19 UTC by BayleShanks

ideas-computer-jasper-jasperTypes
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
56K - last updated 2013-08-13 02:41 UTC by BayleShanks

ideas-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 2013-08-08 20:29 UTC by BayleShanks

8 pages found.