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
, chapter 1 is at
http://www.springer.com/cda/content/document/cda_downloaddocument/9783540654100-c1.pdf?SGWID=0-0-45-133933-p1988237
)
extend the above to capture all of the types of reasoning in that chapter
http://www.typescriptlang.org/Tutorial/
links
http://stackoverflow.com/questions/3112725/advantages-of-scalas-type-system
https://www.google.com/search?client=ubuntu&channel=fs&q=scala+type+system&ie=utf-8&oe=utf-8
http://bleaklow.com/2011/11/23/why_i_quite_like_scalas_type_system.html
http://www.artima.com/scalazine/articles/scalas_type_system.html
http://www.scala-lang.org/node/7698
https://developers.google.com/closure/compiler/docs/js-for-compiler
http://www.researchgate.net/publication/221600600_Uniqueness_Typing_Simplified
http://dlang.org/phobos/std_typecons.html
https://groups.google.com/forum/#!topic/jsr308-discuss/ysKNzmBPMok
http://www.scala-lang.org/node/4686
http://www.scala-lang.org/node/406