511 Plays / 1 Likes / 0 Comments
Experience Report: OCaml for an Industrial-strength Static Analysis Framework Pascal Cuoq and Julien Signoles; CEA LIST International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…+ More details
124 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
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
682 Plays / 3 Likes / 1 Comment
Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…+ More details
1,409 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
1,104 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
375 Plays / 2 Likes / 0 Comments
Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell Marcos Viera , S. Doaitse Swierstra , Wouter S. Swierstra ; Universidad dela Republica Montevideo, Utrecht University,…+ More details
207 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
369 Plays / 3 Likes / 0 Comments
Experience Report: seL4: Formally Verifying a High-Performance Microkernel Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA International Conference on Functional Programming…+ 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