ICFP 2009
International Conference on Functional Programming, 2009
-
Commutative Monads, Diagrams and Knots
-
Effective Interactive Proofs for Higher-Order Imperative Programs
-
Non-Parametric Parametricity
-
Generic Programming with Fixed Points for Mutually Recursive Datatypes
-
ICFP'09, PC Chair’s Report
-
Report on the Twelfth ICFP Programming Contest
-
Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations
-
Biorthogonality, Step-Indexing and Compiler Correctness
-
A Concurrent ML Library in Concurrent Haskell
-
Beautiful Differentiation
-
Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language
-
A Universe of Binding and Computation
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