ICFP 2010
Presentations from the 2010 ACM International Conference on Functional Programming (ICFP)
-
CL2: Eating One’s Own Dogfood by Warren A. Hunt Jr. (University of Texas)
-
Instance Chains: Type Class Programming Without Overlapping Instances by J. Garrett Morris and Mark P. Jones
-
Experience Report: Haskell as a Reagent by Iustin Pop
-
A Play on Regular Expressions by Sebastian Fischer, Frank Huch and Thomas Wilke
-
Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson
-
VeriML: Typed Computation of Logical Terms inside a Language with Effects by Antonis Stampoulis and Zhong Shao
-
Program Verification Through Characteristic Formulae by Arthur Charguéraud
-
Rethinking Supercompilation by Neil Mitchell
-
Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation
-
Total Parser Combinators by Nils Anders Danielsson
-
A Certified Framework for Compiling and Executing Garbage-Collected Languages
-
Regular, Shape-polymorphic, Parallel Arrays in Haskell
Albums
There are 39 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 Scott Smith