ICFP 2009

International Conference on Functional Programming, 2009

s
Sort: Preset / Date / Alphabetical / Plays / Likes / Comments / Duration
or cancel

  1. Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful

    01:05:34

    from Malcolm Wallace / Added

    8,738 Plays / / 1 Comment

    Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful Guy L. Steele, Jr.; Sun Microsystems International Conference on Functional Programming (ICFP) Edinburgh…

    + More details

    • Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations

      01:02:29

      from Malcolm Wallace / Added

      1,539 Plays / / 0 Comments

      Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations Benjamin C. Pierce; University of Pennsylvania International Conference on Functional Programming (ICFP) Edinburgh…

      + More details

      • Commutative Monads, Diagrams and Knots

        01:00:58

        from Malcolm Wallace / Added

        4,006 Plays / / 3 Comments

        Commutative Monads, Diagrams and Knots Dan Piponi; Industrial Light & Magic International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

        + More details

        • Report on the Twelfth ICFP Programming Contest

          42:47

          from Malcolm Wallace / Added

          1,380 Plays / / 0 Comments

          Report on the Twelfth ICFP Programming Contest Andy Gill; University of Kansas International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

          + More details

          • Beautiful Differentiation

            30:12

            from Malcolm Wallace / Added

            1,185 Plays / / 0 Comments

            Beautiful Differentiation Conal M. Elliott; LambdaPix International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

            + More details

            • Scribble: Closing the Book on Ad Hoc Documentation Tools

              28:25

              from Malcolm Wallace / Added

              1,102 Plays / / 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

              • Functional Pearl: La Tour D’Hanoï

                27:53

                from Malcolm Wallace / Added

                476 Plays / / 0 Comments

                Functional Pearl: La Tour D’Hanoï Ralf Hinze; University of Oxford International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                + More details

                • A Functional I/O System or, Fun for Freshman Kids

                  26:46

                  from Malcolm Wallace / Added

                  1,404 Plays / / 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

                  • Finding Race Conditions in Erlang with QuickCheck and PULSE

                    26:41

                    from Malcolm Wallace / Added

                    310 Plays / / 0 Comments

                    Finding Race Conditions in Erlang with QuickCheck and PULSE Koen Claessen, Micha􏰀l Pa􏰀lka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger; Chalmers University of Technology,…

                    + More details

                    • Generic Programming with Fixed Points for Mutually Recursive Datatypes

                      26:27

                      from Malcolm Wallace / Added

                      328 Plays / / 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, 3 Utrecht…

                      + More details

                      • Effective Interactive Proofs for Higher-Order Imperative Programs

                        26:26

                        from Malcolm Wallace / Added

                        446 Plays / / 0 Comments

                        Effective Interactive Proofs for Higher-Order Imperative Programs Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky; Harvard University International Conference on Functional…

                        + More details

                        • Automatically RESTful Web Applications: Marking Modular Serializable Continuations

                          26:09

                          from Malcolm Wallace / Added

                          636 Plays / / 0 Comments

                          Automatically RESTful Web Applications: Marking Modular Serializable Continuations Jay A. McCarthy; Brigham Young University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

                          + More details

                          Albums

                          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