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

    18:19

    from Malcolm Wallace / Added

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

      21:29

      from Malcolm Wallace / Added

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

        19:09

        from Malcolm Wallace / Added

        260 Plays / / 0 Comments

        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

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

            25:13

            from Malcolm Wallace / Added

            273 Plays / / 0 Comments

            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

              368 Plays / / 0 Comments

              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

                474 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
                • FMD - Functional development in Excel.

                  26:34

                  from Malcolm Wallace / Added

                  1,541 Plays / / 0 Comments

                  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

                    245 Plays / / 0 Comments

                    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

                      519 Plays / / 0 Comments

                      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

                        7,700 Plays / / 1 Comment

                        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

                          364 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

                          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