Lydia - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2002-04-16 14:46:55 Computer science Lydia Kavraki Education Department of Computer Science Ken Kennedy Matthias Felleisen UP Diliman Department of Computer Science Year of birth missing Academia Moshe Y. Vardi		Add to Reading List Source URL: www.cs.rice.edu Download Document from Source Website File Size: 304,92 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