or cancel
  1. Implementing an LTL-to-Büchi translator in Erlang.

    27:15

    from Malcolm Wallace / Added

    111 Plays / / 0 Comments

    Implementing an LTL-to-Büchi translator in Erlang. Hans Svensson Erlang Workshop Edinburgh 2009 ACM SIGPLAN

    + More details
    • Implementing Data Parallel Haskell

      28:15

      from Malcolm Wallace / Added

      681 Plays / / 0 Comments

      Implementing Data Parallel Haskell - Roman Leshchinskiy. Haskell Implementers Workshop, Edinburgh 2009.

      + More details
      • Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

        21:53

        from Malcolm Wallace / Added

        348 Plays / / 0 Comments

        Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform Tiark Rompf, Ingo Maier, Martin Odersky; EPFL International Conference on Functional Programming…

        + More details
        • Improving Cabal's Test Support

          30:00

          from Malcolm Wallace / Added

          156 Plays / / 0 Comments

          A talk given by Thomas Tuegel at the Haskell Implementors' Workshop 2010, in Baltimore.

          + More details
          • In Memoriam Peter Landin

            14:32

            from Malcolm Wallace / Added

            802 Plays / / 0 Comments

            In Memoriam Peter Landin Olivier Danvy; University of Aarhus International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

            + More details
            • Kansas Lava -- Using and Abusing GHC's Type Extensions

              26:16

              from Malcolm Wallace / Added

              310 Plays / / 0 Comments

              A talk given by Andrew Farmer at the Haskell Implementors' Workshop 2010, in Baltimore.

              + More details
              • Keynote: Real world Haskell.

                47:34

                from Malcolm Wallace / Added

                7,024 Plays / / 0 Comments

                Keynote: Real world Haskell. Bryan O'Sullivan Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

                + More details
                • Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations

                  01:02:29

                  from Malcolm Wallace / Added

                  1,729 Plays / / 0 Comments

                  Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations Benjamin C. Pierce; University of Pennsylvania International Conference on Functional Programming (ICFP) Edinburgh…

                  + More details
                  • Latest news from the Erlang/OTP team at Ericsson

                    15:43

                    from Malcolm Wallace / Added

                    475 Plays / / 0 Comments

                    Latest news from the Erlang/OTP team at Ericsson. Kenneth Lundin Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Lazy Functional Incremental Parsing

                      26:02

                      from Malcolm Wallace / Added

                      676 Plays / / 0 Comments

                      Lazy Functional Incremental Parsing Jean-Philippe Bernardy Haskell Symposium Edinburgh 2009 ACM SIGPLAN

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

                        26:16

                        from Malcolm Wallace / Added

                        433 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
                        • Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck.

                          28:15

                          from Malcolm Wallace / Added

                          310 Plays / / 0 Comments

                          Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck. Nicolae Paladi 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