or cancel
  1. A Universe of Binding and Computation

    24:44

    from Malcolm Wallace / Added

    508 Plays / / 0 Comments

    A Universe of Binding and Computation Daniel Licata and Robert Harper; Carnegie Mellon University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

    + More details
    • Free Theorems Involving Type Constructor Classes

      24:54

      from Malcolm Wallace / Added

      245 Plays / / 0 Comments

      Free Theorems Involving Type Constructor Classes Janis Voigtländer; Technische Universität Dresden International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

      + More details
      • Parallel Concurrent ML

        25:02

        from Malcolm Wallace / Added

        250 Plays / / 0 Comments

        Parallel Concurrent ML John Reppy , Claudio V. Russo , Yingqi Xiao ; University of Chicago, Microsoft Research International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

        + More details
        • Finding Race Conditions in Erlang with QuickCheck and PULSE

          26:41

          from Malcolm Wallace / Added

          367 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
          • A Theory of Typed Coercions and its Applications

            22:57

            from Malcolm Wallace / Added

            133 Plays / / 0 Comments

            A Theory of Typed Coercions and its Applications Nikhil Swamy, Michael Hicks, Gavin M. Bierman; Microsoft Research, University of Maryland, College Park International Conference on Functional Programming…

            + More details
            • Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL

              19:30

              from Malcolm Wallace / Added

              320 Plays / / 0 Comments

              Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL Ryan R. Newton and Teresa Ko; MIT CSAIL, UCLA Vision Lab International Conference on Functional Programming (ICFP) Edinburgh…

              + More details
              • Experience Report: Ocsigen, a Web Programming Framework

                18:19

                from Malcolm Wallace / Added

                472 Plays / / 0 Comments

                Experience Report: Ocsigen, a Web Programming Framework Vincent Balat, Jérôme Vouillon, Boris Yakobowski; Laboratoire Preuves, Programmes et Systèmes - Université Paris…

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

                  26:26

                  from Malcolm Wallace / Added

                  467 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
                  • ICFP'09, PC Chair’s Report

                    11:55

                    from Malcolm Wallace / Added

                    170 Plays / / 0 Comments

                    PC Chair’s Report Andrew Tolmach; Portland State University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Automatically RESTful Web Applications: Marking Modular Serializable Continuations

                      26:09

                      from Malcolm Wallace / Added

                      762 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
                      • Partial Memoization of Concurrency and Communication

                        25:56

                        from Malcolm Wallace / Added

                        225 Plays / / 0 Comments

                        Partial Memoization of Concurrency and Communication Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan; Purdue University International Conference on Functional Programming (ICFP) Edinburgh…

                        + More details
                        • Most Influential ICFP’99 Paper Award

                          04:09

                          from Malcolm Wallace / Added

                          510 Plays / / 0 Comments

                          Most Influential ICFP’99 Paper Award (given by: Phil Wadler) 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