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

    01:05:34

    from Malcolm Wallace Added 15.4K 101 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
    • Commutative Monads, Diagrams and Knots

      01:00:58

      from Malcolm Wallace Added 6,591 36 4

      Commutative Monads, Diagrams and Knots Dan Piponi; Industrial Light & Magic 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,839 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
        • Beautiful Differentiation

          30:12

          from Malcolm Wallace Added 1,909 9 0

          Beautiful Differentiation Conal M. Elliott; LambdaPix 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,507 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,774 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
              • Scribble: Closing the Book on Ad Hoc Documentation Tools

                28:25

                from Malcolm Wallace Added 1,499 5 0

                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
                • Report on the Twelfth ICFP Programming Contest

                  42:47

                  from Malcolm Wallace Added 1,413 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
                  • Safe Functional Reactive Programming through Dependent Types

                    25:06

                    from Malcolm Wallace Added 983 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
                    • SIGPLAN Programming Languages Achievement Award: Rod Burstall

                      09:01

                      from Malcolm Wallace Added 346 4 0

                      SIGPLAN Programming Languages Achievement Award: Rod Burstall (given by: Phil Wadler) International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                      + More details
                      • Runtime Support for Multicore Haskell

                        21:22

                        from Malcolm Wallace Added 527 4 0

                        Runtime Support for Multicore Haskell Simon Marlow, Simon Peyton Jones, Satnam Singh; Microsoft Research International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Non-Parametric Parametricity

                          24:59

                          from Malcolm Wallace Added 442 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

                          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