367 Plays / 1 Likes / 0 Comments
Finding Race Conditions in Erlang with QuickCheck and PULSE Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger; Chalmers University of Technology,…+ More details
133 Plays / 1 Likes / 0 Comments
A Theory of Typed Coercions and its Applications Nikhil Swamy, Michael Hicks, Gavin M. Bierman; Microsoft Research, University of Maryland, College Park International Conference on Functional Programming…+ More details
320 Plays / 1 Likes / 0 Comments
Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL Ryan R. Newton and Teresa Ko; MIT CSAIL, UCLA Vision Lab International Conference on Functional Programming (ICFP) Edinburgh…+ More details
472 Plays / 1 Likes / 0 Comments
Experience Report: Ocsigen, a Web Programming Framework Vincent Balat, Jérôme Vouillon, Boris Yakobowski; Laboratoire Preuves, Programmes et Systèmes - Université Paris…+ More details
467 Plays / 0 Likes / 0 Comments
Eﬀective Interactive Proofs for Higher-Order Imperative Programs Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky; Harvard University International Conference on Functional…+ More details
762 Plays / 0 Likes / 0 Comments
Automatically RESTful Web Applications: Marking Modular Serializable Continuations Jay A. McCarthy; Brigham Young University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…+ More details
225 Plays / 0 Likes / 0 Comments
Partial Memoization of Concurrency and Communication Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan; Purdue University International Conference on Functional Programming (ICFP) Edinburgh…+ More details
There are 40 videos in this album. Albums make it easy to organize a collection of videos. They can be used to display videos together, or sent to friends as a playlist. You can even arrange the order of videos in each album.
You can add a video to one of your albums or create a new album from the "+Add to…" tab on video pages.
Albums can also be used to show videos on other web sites using Vimeo Widgets.