8,738 Plays / 56 Likes / 1 Comment
Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful Guy L. Steele, Jr.; Sun Microsystems International Conference on Functional Programming (ICFP) Edinburgh…+ More details
1,539 Plays / 8 Likes / 0 Comments
Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations Benjamin C. Pierce; University of Pennsylvania International Conference on Functional Programming (ICFP) Edinburgh…+ More details
1,102 Plays / 4 Likes / 0 Comments
Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt , Eli Barzilay , Robert Bruce Findler; University of Utah, Northeastern Uni- versity, Northwestern University International…+ More details
1,404 Plays / 6 Likes / 0 Comments
A Functional I/O System or, Fun for Freshman Kids Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi; Northeastern University, Northwestern University, University of…+ More details
310 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
328 Plays / 2 Likes / 0 Comments
Generic Programming with Fixed Points for Mutually Recursive Datatypes Alexey Rodriguez Yakushev, Stefan Holdermans, Andres L¨oh, Johan Jeuring; 1 Vector Fabrics B.V., 2 Utrecht University, 3 Utrecht…+ More details
446 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
636 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
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.
Also Check Out
More stuff from Malcolm Wallace