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

    11:55

    from Malcolm Wallace / Added

    169 Plays / / 0 Comments

    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

      358 Plays / / 0 Comments

      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

        415 Plays / / 0 Comments

        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

          464 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
          • Commutative Monads, Diagrams and Knots

            01:00:58

            from Malcolm Wallace / Added

            5,783 Plays / / 4 Comments

            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

              290 Plays / / 0 Comments

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

              + More details
              • Implementing Data Parallel Haskell

                28:15

                from Malcolm Wallace / Added

                681 Plays / / 0 Comments

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

                + More details
                • Statistical benchmarking in Haskell

                  06:49

                  from Malcolm Wallace / Added

                  819 Plays / / 0 Comments

                  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

                    470 Plays / / 0 Comments

                    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

                      674 Plays / / 0 Comments

                      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

                        660 Plays / / 0 Comments

                        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

                          200 Plays / / 0 Comments

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

                          + 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