Sam Tobin-Hochstadt School of Informatics, Computing, - Bloomington, Indiana - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-03-08 16:31:28 Software engineering Computing Computer programming Functional languages Scheme Matthias Felleisen Programming paradigms International Conference on Functional Programming Racket Matthew Flatt SIGPLAN Robert Bruce Findler		Sam Tobin-Hochstadt School of Informatics, Computing, & Engineering Indiana University 500 N. Woodlawn Ave. Bloomington, IN 47405 Add to Reading List Source URL: homes.sice.indiana.edu Download Document from Source Website File Size: 67,20 KB Share Document on Facebook

	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org DocID: 1xUbs - 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
	Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien DocID: 1ve3R - View Document
	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen DocID: 1tL6X - View Document
	Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu Abstract. High-level languages come with significant readability and DocID: 1tJZL - View Document