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

First Page		Document Content
Date: 2017-05-11 23:26:18 Software engineering Computing Programming language theory Type theory Type systems Lambda calculus Subroutines Data types Gradual typing Racket Go Programming language		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 Add to Reading List Source URL: www.ece.northwestern.edu Download Document from Source Website File Size: 481,89 KB Share Document on Facebook

	Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ DocID: 1xVST - View Document
	The Racket Reference Version 6.8 Matthew Flatt and PLT January 24, 2017 DocID: 1xVLl - View Document
	The Racket Reference Version 6.3 Matthew Flatt and PLT November 20, 2015 DocID: 1xVy6 - View Document
	The Racket Reference Version 6.1 Matthew Flatt and PLT August 1, 2014 DocID: 1xVvG - View Document
	The Racket Reference Version 7.0 Matthew Flatt and PLT July 27, 2018 DocID: 1xVox - View Document