or cancel
  1. Commutative Monads, Diagrams and Knots

    01:00:58

    from Malcolm Wallace / Added

    5,974 Plays / / 4 Comments

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

    + More details
    • Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language

      18:23

      from Malcolm Wallace / Added

      1,428 Plays / / 1 Comment

      Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language Curt J. Sampson; Starling Software International Conference on Functional…

      + More details
      • Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful

        01:05:34

        from Malcolm Wallace / Added

        13.2K 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
        • A Functional I/O System or, Fun for Freshman Kids

          26:46

          from Malcolm Wallace / Added

          1,628 Plays / / 1 Comment

          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
          • Safe Functional Reactive Programming through Dependent Types

            25:06

            from Malcolm Wallace / Added

            846 Plays / / 1 Comment

            Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

            + More details
            • Effective Interactive Proofs for Higher-Order Imperative Programs

              26:26

              from Malcolm Wallace / Added

              466 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
              • Non-Parametric Parametricity

                24:59

                from Malcolm Wallace / Added

                417 Plays / / 0 Comments

                Non-Parametric Parametricity Georg Neis, Derek Dreyer, Andreas Rossberg; MPI-SWS International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                + More details
                • Generic Programming with Fixed Points for Mutually Recursive Datatypes

                  26:27

                  from Malcolm Wallace / Added

                  359 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,…

                  + More details
                  • ICFP'09, PC Chair’s Report

                    11:55

                    from Malcolm Wallace / Added

                    169 Plays / / 0 Comments

                    PC Chair’s Report Andrew Tolmach; Portland State University 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,399 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
                      • Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations

                        01:02:29

                        from Malcolm Wallace / Added

                        1,738 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
                        • Biorthogonality, Step-Indexing and Compiler Correctness

                          22:20

                          from Malcolm Wallace / Added

                          279 Plays / / 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

                          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