396 Plays / 2 Likes / 0 Comments
Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation Jan Midtgaard and Thomas P. Jensen; Roskilde University, CNRS International Conference on Functional Programming…+ More details
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
363 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,…+ More details
352 Plays / 0 Likes / 0 Comments
Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform Tiark Rompf, Ingo Maier, Martin Odersky; EPFL International Conference on Functional Programming…+ More details
329 Plays / 4 Likes / 0 Comments
SIGPLAN Programming Languages Achievement Award: Rod Burstall (given by: Phil Wadler) International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN+ 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
281 Plays / 1 Likes / 0 Comments
Biorthogonality, Step-Indexing and Compiler Correctness Nick Benton and Chung-Kil Hur; Microsoft Research, University of Cambridge International Conference on Functional Programming (ICFP) Edinburgh…+ More details
257 Plays / 0 Likes / 0 Comments
Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certiﬁcation Framework Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux…+ 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.