or cancel
  1. Teaching Erlang using Robotics and Player/Stage.

    24:58

    from Malcolm Wallace Added 319 2 0

    Teaching Erlang using Robotics and Player/Stage. Sten Grüner and Thomas Lorentsen Erlang Workshop 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 330 0 0

      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
      • Development of a Distributed System Applied to Teaching and Learning.

        20:17

        from Malcolm Wallace Added 376 1 0

        Development of a Distributed System Applied to Teaching and Learning. Manuel Hernandez et al. Erlang Workshop Edinburgh 2009 ACM SIGPLAN

        + More details
        • Automated Module Interface Upgrade.

          26:30

          from Malcolm Wallace Added 119 0 0

          Automated Module Interface Upgrade. László Lövei Erlang Workshop Edinburgh 2009 ACM SIGPLAN

          + More details
          • Cleaning up Erlang code is a dirty job but somebody's gotta do it.

            34:55

            from Malcolm Wallace Added 337 2 0

            Cleaning up Erlang code is a dirty job but somebody's gotta do it. Thanassis Avgerinos and Konstantinos Sagonas Erlang Workshop Edinburgh 2009 ACM SIGPLAN

            + More details
            • Automatic Testing of TCP/IP Implementations Using Quickcheck.

              19:39

              from Malcolm Wallace Added 259 0 0

              Automatic Testing of TCP/IP Implementations Using Quickcheck. Javier Paris and Thomas Arts Erlang Workshop Edinburgh 2009 ACM SIGPLAN

              + More details
              • Erlang09 invited talk.

                59:00

                from Malcolm Wallace Added 407 6 1

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

                + More details
                • Automatic Assessment of Failure Recovery in Erlang Applications.

                  27:38

                  from Malcolm Wallace Added 99 0 0

                  Automatic Assessment of Failure Recovery in Erlang Applications. Jan Henry Nystrom Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                  + More details
                  • Implementing an LTL-to-Büchi translator in Erlang.

                    27:15

                    from Malcolm Wallace Added 120 0 0

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

                    + More details
                    • Recent Improvements to the McErlang model checker.

                      33:17

                      from Malcolm Wallace Added 142 2 0

                      Recent Improvements to the McErlang model checker. Clara Benac Earle and Lars-Åke Fredlund Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                      + More details
                      • ETC: an Object-Oriented Extension to Erlang.

                        36:38

                        from Malcolm Wallace Added 344 0 0

                        ETC: an Object-Oriented Extension to Erlang. András György Békés and Gábor Fehér Erlang Workshop Edinburgh 2009 ACM SIGPLAN

                        + More details
                        • CUFP Welcome and Overview

                          05:14

                          from Malcolm Wallace Added 675 1 0

                          CUFP Welcome and Overview Francesco Cesarini Commercial Users of Functional Programming (CUFP) Edinburgh 2009 ACM SIGPLAN

                          + 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