type as subtext
5 months ago
The NYU Game Center Lecture Series: Richard Garfield
7 months ago
OPLSS10: Benjamin Pierce: Software Foundations in Coq 1/6
1 year ago
Haskell Types with Added Value
Outrageous but Meaningful Coincidences (Dependent type-safe syntax and evaluation)
Join this group
Your membership in this group is pending until moderator approval
videos for me to watch later
0 Forum Topics
This is a Vimeo Group. Groups allow you to create mini communities around the things you like. Check out other interesting groups.
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.