Kansas Senate District No. 30

First Page		Document Content
Date: 2013-06-04 17:35:52 Demographics of the United States Tobin California East Hill-Meridian Washington		Kansas Senate District No. 30 Add to Reading List Source URL: kslegislature.org Download Document from Source Website File Size: 52,60 KB Share Document on Facebook

	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt DocID: 1xVPL - View Document
	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt DocID: 1xUUD - View Document
	Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa DocID: 1xUgb - View Document
	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen DocID: 1xTIa - View Document
	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton DocID: 1xThn - View Document