skip to content
UC Santa Cruz
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
You are here:
slang
»
readinggroup
»
winter14
readinggroup:winter14
Winter 2014
Jan 28
Ian Piumarta. Accessible Language-Based Environments of Recursive Theories
(slides)
(chris)
Feb 4
sweet.js macros (tim)
Feb 11
Detecting Integer Overflows with Symbolic Execution
(dustin)
Feb 18
Cheney on the M.T.A. (Chicken Scheme Compiler)
(chris)
Feb 25
JavaScript Proxy (dustin)
Mar 4
Temporal Contracts (tim)
Mar 11
(thomas)
Mar 18
Proof-carrying code (thomas)
readinggroup/winter14.txt
· Last modified: 2014/04/01 18:55 by
cschuster
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top