or cancel
  1. ICFP'09, PC Chair’s Report

    11:55

    from Malcolm Wallace Added 173 0 0

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

    + More details
    • Generic Programming with Fixed Points for Mutually Recursive Datatypes

      26:27

      from Malcolm Wallace Added 395 2 0

      Generic Programming with Fixed Points for Mutually Recursive Datatypes Alexey Rodriguez Yakushev, Stefan Holdermans, Andres L¨oh, Johan Jeuring; 1 Vector Fabrics B.V., 2 Utrecht University,…

      + More details
      • Non-Parametric Parametricity

        24:59

        from Malcolm Wallace Added 444 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
        • Effective Interactive Proofs for Higher-Order Imperative Programs

          26:26

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

            01:00:58

            from Malcolm Wallace Added 6,631 36 4

            Commutative Monads, Diagrams and Knots Dan Piponi; Industrial Light & Magic International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

            + More details
            • Stack tracing in Haskell

              27:24

              from Malcolm Wallace Added 298 1 0

              Stack tracing in Haskell - Bernie Pope. Haskell Implementers Workshop, Edinburgh 2009.

              + More details
              • Implementing Data Parallel Haskell

                28:15

                from Malcolm Wallace Added 690 3 0

                Implementing Data Parallel Haskell - Roman Leshchinskiy. Haskell Implementers Workshop, Edinburgh 2009.

                + More details
                • Statistical benchmarking in Haskell

                  06:49

                  from Malcolm Wallace Added 848 4 0

                  Statistical benchmarking in Haskell - Bryan O'Sullivan. Haskell Implementers Workshop, Edinburgh 2009.

                  + More details
                  • A wander through GHC's new IO Library

                    28:35

                    from Malcolm Wallace Added 474 0 0

                    A wander through GHC's new IO Library - Simon Marlow. Haskell Implementers Workshop, Edinburgh 2009.

                    + More details
                    • GHC on the OpenSPARC T2

                      22:05

                      from Malcolm Wallace Added 693 1 0

                      GHC on the OpenSPARC T2 - Ben Lippmeier. Haskell Implementers Workshop, Edinburgh 2009.

                      + More details
                      • Rant about Lazy I/O

                        09:27

                        from Malcolm Wallace Added 671 1 0

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

                        + More details
                        • Parallel Haskell Runtime System (GpH, Eden, and friends)

                          07:38

                          from Malcolm Wallace Added 206 0 0

                          Parallel Haskell Runtime System (GpH, Eden, and friends) - Jost Berthold. Haskell Implementers Workshop, Edinburgh 2009.

                          + 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