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

    24:58

    from Malcolm Wallace Added 316 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 318 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 373 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 332 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 249 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 116 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 139 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 321 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 674 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