Vinyl: Records in Haskell and Type Theory
1 week ago
Logical Types for Untyped Languages by Sam Tobin-Hochstadt and Matthias Felleisen
3 months ago
Advancing Distributed Systems - Eric Brewer, RICON2012
4 months ago
Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.
More stuff from Ricardo Lima
TM + © 2014 Vimeo, LLC. All rights reserved.
Made with k in NYC.
Your content preferences apply to any Vimeo videos you view. Learn more about content preferences in our FAQ.