or cancel
  1. Automatic Testing of TCP/IP Implementations Using Quickcheck.

    19:39

    from Malcolm Wallace / Added

    242 Plays / / 0 Comments

    Automatic Testing of TCP/IP Implementations Using Quickcheck. Javier Paris and Thomas Arts Erlang Workshop Edinburgh 2009 ACM SIGPLAN

    + 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
      • Beautiful Differentiation

        30:12

        from Malcolm Wallace / Added

        1,396 Plays / / 0 Comments

        Beautiful Differentiation Conal M. Elliott; LambdaPix International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

        + More details
        • Beyond Haskell discussion

          35:57

          from Malcolm Wallace / Added

          972 Plays / / 0 Comments

          A discussion introduced by Ben Lippmeier at the Haskell Implementors' Workshop 2010, in Baltimore.

          + More details
          • Biorthogonality, Step-Indexing and Compiler Correctness

            22:20

            from Malcolm Wallace / Added

            276 Plays / / 0 Comments

            Biorthogonality, Step-Indexing and Compiler Correctness Nick Benton and Chung-Kil Hur; Microsoft Research, University of Cambridge International Conference on Functional Programming (ICFP) Edinburgh…

            + More details
            • Birth of the Industrial Haskell Group

              42:05

              from Malcolm Wallace / Added

              817 Plays / / 0 Comments

              Birth of the Industrial Haskell Group Duncan Coutts, Well-Typed Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

              + More details
              • Causal Commutative Arrows and Their Optimization

                24:20

                from Malcolm Wallace / Added

                517 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
                • Cleaning up Erlang code is a dirty job but somebody's gotta do it.

                  34:55

                  from Malcolm Wallace / Added

                  320 Plays / / 0 Comments

                  Cleaning up Erlang code is a dirty job but somebody's gotta do it. Thanassis Avgerinos and Konstantinos Sagonas Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                  + More details
                  • Clear & Simple: Composing a Marketplace.

                    32:09

                    from Malcolm Wallace / Added

                    619 Plays / / 0 Comments

                    Clear & Simple: Composing a Marketplace. Mark Wong-VanHaren, Glyde Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Commutative Monads, Diagrams and Knots

                      01:00:58

                      from Malcolm Wallace / Added

                      5,904 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
                      • Complete and Decidable Type Inference for GADTs

                        22:06

                        from Malcolm Wallace / Added

                        427 Plays / / 0 Comments

                        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
                        • Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation

                          24:26

                          from Malcolm Wallace / Added

                          385 Plays / / 0 Comments

                          Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation Jan Midtgaard and Thomas P. Jensen; Roskilde University, CNRS International Conference on Functional Programming…

                          + 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