ICFP 2009
International Conference on Functional Programming, 2009
-
Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful
-
Commutative Monads, Diagrams and Knots
-
Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations
-
A Functional I/O System or, Fun for Freshman Kids
-
Report on the Twelfth ICFP Programming Contest
-
Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language
-
Beautiful Differentiation
-
Scribble: Closing the Book on Ad Hoc Documentation Tools
-
In Memoriam Peter Landin
-
Safe Functional Reactive Programming through Dependent Types
-
Automatically RESTful Web Applications: Marking Modular Serializable Continuations
-
Purely Functional Lazy Non-deterministic Programming
Albums
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