OVERLOAD CONTENTS OVERLOAD 122 August 2014

First Page		Document Content
Date: 2014-08-08 16:41:01 Software testing Extreme programming Type theory Procedural programming languages Python Test-driven development Control flow Duck typing Type system Software engineering Computing Software development		OVERLOAD CONTENTS OVERLOAD 122 August 2014 Add to Reading List Source URL: www.accu.org Download Document from Source Website File Size: 1.019,75 KB Share Document on Facebook

	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Indiana University Bloomington DocID: 1pEqn - View Document
	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh DocID: 1pmp1 - View Document
	Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux DocID: 1lHwD - View Document
	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take DocID: 1b05g - View Document