Racket - PDFSEARCH.IO - Document Search Engine

Racket
Results: 340

#	Item
51	Reference: Racket Version 5.1 Matthew Flatt and PLT February 14, 2011 Add to Reading List Source URL: download.racket-lang.org - Date: 2014-03-03 14:52:13
52	#lang minimart Actors for Racket Tony Garnock-Jones Racketcon 2014, Sep. 20th, St. Louis, MO Add to Reading List Source URL: con.racket-lang.org - Date: 2015-07-03 12:17:35
53	Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah Add to Reading List Source URL: www.cs.utah.edu - Date: 2013-09-11 12:50:42
54	Purely Functional 3D in Typed Racket or Spoon-Feeding For the Functional Purist Neil Toronto Add to Reading List Source URL: con.racket-lang.org - Date: 2015-07-03 12:17:35
55	Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence Add to Reading List Source URL: users.eecs.northwestern.edu - Date: 2018-03-30 15:48:57
56	Reference: Racket VersionMatthew Flatt and PLT April 30, 2011 Add to Reading List Source URL: download.racket-lang.org - Date: 2014-03-03 15:07:52
57	Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence Add to Reading List Source URL: florence.io - Date: 2017-08-17 15:17:55
58	From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λZFC Neil Toronto and Jay McCarthy PLT @ Brigham Young University, Provo, Utah, USA and Add to Reading List Source URL: jeapostrophe.github.io - Date: 2018-04-03 12:30:31
59	Type Systems as Macros Stephen Chang, Alex Knauth, Ben Greenman Γ, 𝑥: 𝜏1 ⊢ 𝑒 ∶ 𝜏2 Γ ⊢ Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-18 15:16:51
60	Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ Add to Reading List Source URL: con.racket-lang.org - Date: 2016-09-23 19:37:16