or cancel
  1. 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
    • Finding the needle: Stack Traces for GHC

      26:34

      from Malcolm Wallace / Added

      456 Plays / / 0 Comments

      Finding the needle: Stack Traces for GHC Tristan Allwood, Simon Peyton-Jones and Susan Eisenbach Haskell Symposium Edinburgh 2009 ACM SIGPLAN

      + More details
      • A more flexible code generator for GHC

        30:19

        from Malcolm Wallace / Added

        443 Plays / / 0 Comments

        A more flexible code generator for GHC - John Dias. 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
          • A Universe of Binding and Computation

            24:44

            from Malcolm Wallace / Added

            440 Plays / / 0 Comments

            A Universe of Binding and Computation Daniel Licata and Robert Harper; Carnegie Mellon University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

            + More details
            • pandoc + lhs2TeX for literate programming

              04:52

              from Malcolm Wallace / Added

              433 Plays / / 0 Comments

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

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

                26:16

                from Malcolm Wallace / Added

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

                  22:06

                  from Malcolm Wallace / Added

                  423 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

                    413 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
                    • Hackage 2.0: Serving Packages Better

                      35:17

                      from Malcolm Wallace / Added

                      405 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

                        403 Plays / / 1 Comment

                        Erlang09 invited talk. Jan Lehnardt, CouchDB Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • Experience Report: seL4: Formally Verifying a High-Performance Microkernel

                          21:29

                          from Malcolm Wallace / Added

                          396 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

                          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