or cancel
  1. Experience Report: Ocsigen, a Web Programming Framework

    18:19

    from Malcolm Wallace / Added

    472 Plays / / 0 Comments

    Experience Report: Ocsigen, a Web Programming Framework Vincent Balat, Jérôme Vouillon, Boris Yakobowski; Laboratoire Preuves, Programmes et Systèmes - Université Paris…

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

      28:35

      from Malcolm Wallace / Added

      471 Plays / / 0 Comments

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

      + More details
      • Effective Interactive Proofs for Higher-Order Imperative Programs

        26:26

        from Malcolm Wallace / Added

        467 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
        • pandoc + lhs2TeX for literate programming

          04:52

          from Malcolm Wallace / Added

          463 Plays / / 0 Comments

          A "lightning" talk given by Tillmann Rendel at the Haskell Implementors' Workshop 2010, in Baltimore.

          + More details
          • UHC status update

            11:20

            from Malcolm Wallace / Added

            460 Plays / / 0 Comments

            A talk given by Atze Dijkstra at the Haskell Implementors' Workshop 2010, in Baltimore. It describes the current status of the Utrecht Haskell Compiler.

            + More details
            • Losing Functions Without Gaining Data - Another Look at Defunctionalisation

              26:16

              from Malcolm Wallace / Added

              446 Plays / / 0 Comments

              Losing Functions Without Gaining Data - Another Look at Defunctionalisation Neil Mitchell and Colin Runciman Haskell Symposium Edinburgh 2009 ACM SIGPLAN

              + More details
              • A more flexible code generator for GHC

                30:19

                from Malcolm Wallace / Added

                446 Plays / / 0 Comments

                A more flexible code generator for GHC - John Dias. Haskell Implementers Workshop, Edinburgh 2009.

                + More details
                • Complete and Decidable Type Inference for GADTs

                  22:06

                  from Malcolm Wallace / Added

                  432 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
                  • Non-Parametric Parametricity

                    24:59

                    from Malcolm Wallace / Added

                    421 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
                    • Experience Report: seL4: Formally Verifying a High-Performance Microkernel

                      21:29

                      from Malcolm Wallace / Added

                      410 Plays / / 0 Comments

                      Experience Report: seL4: Formally Verifying a High-Performance Microkernel Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA International Conference on Functional Programming…

                      + More details
                      • Hackage 2.0: Serving Packages Better

                        35:17

                        from Malcolm Wallace / Added

                        408 Plays / / 0 Comments

                        A talk by Matthew Gruen at the Haskell Implementors' Workshop 2010, in Baltimore

                        + More details
                        • Erlang09 invited talk.

                          59:00

                          from Malcolm Wallace / Added

                          405 Plays / / 1 Comment

                          Erlang09 invited talk. Jan Lehnardt, CouchDB Erlang Workshop 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