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

    18:19

    from Malcolm Wallace Added 496 1 0

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

      21:29

      from Malcolm Wallace Added 472 3 0

      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
      • Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

        19:09

        from Malcolm Wallace Added 268 0 0

        Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux…

        + 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
          • Fibon -- a new benchmark suite for Haskell

            25:13

            from Malcolm Wallace Added 291 0 0

            A talk given by David Peixotto at the Haskell Implementors' Workshop 2010, in Baltimore.

            + More details
            • Finding Race Conditions in Erlang with QuickCheck and PULSE

              26:41

              from Malcolm Wallace Added 403 1 0

              Finding Race Conditions in Erlang with QuickCheck and PULSE Koen Claessen, Micha􏰀l Pa􏰀lka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger; Chalmers University of Technology,…

              + More details
              • Finding the needle: Stack Traces for GHC

                26:34

                from Malcolm Wallace Added 483 3 0

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

                + More details
                • FMD - Functional development in Excel.

                  26:34

                  from Malcolm Wallace Added 1,818 4 0

                  FMD - Functional development in Excel. Lee Benfield, Barclays Capital Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

                  + More details
                  • Free Theorems Involving Type Constructor Classes

                    24:54

                    from Malcolm Wallace Added 274 1 0

                    Free Theorems Involving Type Constructor Classes Janis Voigtländer; Technische Universität Dresden International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Functional Pearl: La Tour D’Hanoï

                      27:53

                      from Malcolm Wallace Added 539 3 0

                      Functional Pearl: La Tour D’Hanoï Ralf Hinze; University of Oxford International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                      + More details
                      • Functional Programming at Facebook.

                        27:47

                        from Malcolm Wallace Added 8,425 40 1

                        Functional Programming at Facebook. Christopher Piro and Eugene Letuchy, Facebook Commercial Users of Functional Programming (CUFP) 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

                          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