proj-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