or cancel
  1. In Memoriam Peter Landin

    14:32

    from Malcolm Wallace Added 843 2 0

    In Memoriam Peter Landin Olivier Danvy; University of Aarhus 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 378 1 0

      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
      • Haskell Types with Added Value

        30:14

        from Malcolm Wallace Added 770 3 0

        Haskell Types with Added Value - Conor McBride. Haskell Implementers Workshop, Edinburgh 2009.

        + More details
        • A Theory of Typed Coercions and its Applications

          22:57

          from Malcolm Wallace Added 138 1 0

          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
          • Most Influential ICFP’99 Paper Award

            04:09

            from Malcolm Wallace Added 512 0 0

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

            + More details
            • Rant about Lazy I/O

              09:27

              from Malcolm Wallace Added 666 1 0

              Rant about Lazy I/O - Johan Tibbell. Haskell Implementers Workshop, Edinburgh 2009.

              + More details
              • Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell

                22:23

                from Malcolm Wallace Added 502 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
                • Scribble: Closing the Book on Ad Hoc Documentation Tools

                  28:25

                  from Malcolm Wallace Added 1,443 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
                  • Running Haskell Array Computations on a GPU

                    32:43

                    from Malcolm Wallace Added 2,324 4 0

                    Running Haskell Array Computations on a GPU - Manuel Chakravarty. Haskell Implementers Workshop, Edinburgh 2009.

                    + More details
                    • Towards a Lightweight, Safety-preserving Haskell Compiler

                      26:59

                      from Malcolm Wallace Added 313 1 0

                      Towards a Lightweight, Safety-preserving Haskell Compiler - Tim Chevalier. Haskell Implementers Workshop, Edinburgh 2009.

                      + More details
                      • Experience Report: OCaml for an Industrial-strength Static Analysis Framework

                        16:38

                        from Malcolm Wallace Added 1,200 2 0

                        Experience Report: OCaml for an Industrial-strength Static Analysis Framework Pascal Cuoq and Julien Signoles; CEA LIST International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

                        + More details
                        • Causal Commutative Arrows and Their Optimization

                          24:20

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

                          Browse Videos

                          Videos Malcolm Wallace

                          Here are all of the videos that Malcolm Wallace has uploaded to Vimeo. Appearances are videos that Malcolm Wallace has been credited in by others.

                          Also Check Out