or cancel
  1. Purely Functional Lazy Non-deterministic Programming

    22:50

    from Malcolm Wallace Added 705 0 0

    Purely Functional Lazy Non-deterministic Programming Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan; Christian-Albrechts University, FNMOC, Rutgers University International Conference on Functional…

    + More details
    • Causal Commutative Arrows and Their Optimization

      24:20

      from Malcolm Wallace Added 588 3 0

      Causal Commutative Arrows and Their Optimization Hai Liu, Eric Cheng, Paul Hudak; Yale University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

      + More details
      • A Universe of Binding and Computation

        24:44

        from Malcolm Wallace Added 537 1 0

        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
        • Functional Pearl: La Tour D’Hanoï

          27:53

          from Malcolm Wallace Added 530 3 0

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

          + More details
          • Runtime Support for Multicore Haskell

            21:22

            from Malcolm Wallace Added 523 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
            • Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell

              22:23

              from Malcolm Wallace Added 517 2 0

              Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell Marcos Viera , S. Doaitse Swierstra , Wouter S. Swierstra ; Universidad dela Republica Montevideo, Utrecht University,…

              + More details
              • Most Influential ICFP’99 Paper Award

                04:09

                from Malcolm Wallace Added 517 0 0

                Most Influential ICFP’99 Paper Award (given by: Phil Wadler) International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

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

                  18:19

                  from Malcolm Wallace Added 490 1 0

                  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 473 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
                    • Experience Report: seL4: Formally Verifying a High-Performance Microkernel

                      21:29

                      from Malcolm Wallace Added 440 3 0

                      Experience Report: seL4: Formally Verifying a High-Performance Microkernel Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA International Conference on Functional Programming…

                      + More details
                      • Non-Parametric Parametricity

                        24:59

                        from Malcolm Wallace Added 438 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
                        • Complete and Decidable Type Inference for GADTs

                          22:06

                          from Malcolm Wallace Added 438 2 0

                          Complete and Decidable Type Inference for GADTs Tom Schrijvers , Simon Peyton Jones , Martin Sulzmann , Dimitrios Vytiniotis ; Katholieke Universiteit Leuven, Microsoft Research, Intaris Software…

                          + 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