<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-09-16 17:08:42Software engineering Computer programming Computing Functional languages Object-oriented programming languages Cross-platform software Scripting languages High-level programming languages Racket Type system OCaml JavaScript |
Add to Reading List |
To: From: Subject: Jim Beam, Provost Carla Bradley, Dean (CCIS) | 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, 2017DocID: 1xVLl - View Document |
 | The Racket Reference Version 6.3 Matthew Flatt and PLT November 20, 2015DocID: 1xVy6 - View Document |
 | The Racket Reference Version 6.1 Matthew Flatt and PLT August 1, 2014DocID: 1xVvG - View Document |
 | The Racket Reference Version 7.0 Matthew Flatt and PLT July 27, 2018DocID: 1xVox - View Document |