or cancel
  1. Commutative Monads, Diagrams and Knots

    01:00:58

    from Malcolm Wallace Added 6,682 36 4

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

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

      01:05:34

      from Malcolm Wallace Added 15.8K 103 3

      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
      • Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language

        18:23

        from Malcolm Wallace Added 1,519 6 1

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

          26:46

          from Malcolm Wallace Added 1,792 6 1

          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 1,021 4 1

            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 478 0 0

              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 446 3 0

                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 395 2 0

                  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 173 0 0

                    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,415 4 0

                      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,856 9 0

                        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 293 1 0

                          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