First Page | Document Content | |
---|---|---|
Date: 2009-06-08 10:08:06Software engineering Computing Computer programming Object-oriented programming languages Functional languages Programming languages Lisp Cross-platform software Racket Scheme Literate programming Anonymous function | Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce FindlerAdd to Reading ListSource URL: www.cs.utah.eduDownload Document from Source WebsiteFile Size: 477,59 KBShare 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, 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 |