or cancel
  1. Haskell Types with Added Value

    30:14

    from Malcolm Wallace / Added

    754 Plays / / 0 Comments

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

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

      26:41

      from Malcolm Wallace / Added

      328 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
      • In Memoriam Peter Landin

        14:32

        from Malcolm Wallace / Added

        787 Plays / / 0 Comments

        In Memoriam Peter Landin Olivier Danvy; University of Aarhus International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

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

          22:57

          from Malcolm Wallace / Added

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

            04:09

            from Malcolm Wallace / Added

            504 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
            • Towards a Lightweight, Safety-preserving Haskell Compiler

              26:59

              from Malcolm Wallace / Added

              311 Plays / / 0 Comments

              Towards a Lightweight, Safety-preserving Haskell Compiler - Tim Chevalier. 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

                442 Plays / / 0 Comments

                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,311 Plays / / 0 Comments

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

                    26:46

                    from Malcolm Wallace / Added

                    1,580 Plays / / 0 Comments

                    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
                    • Running Haskell Array Computations on a GPU

                      32:43

                      from Malcolm Wallace / Added

                      2,281 Plays / / 0 Comments

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

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

                        16:38

                        from Malcolm Wallace / Added

                        765 Plays / / 0 Comments

                        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

                          479 Plays / / 0 Comments

                          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

                          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