All Malcolm Wallace’s Videos

118 Videos 0 Appearances 118 Total
s
Sort: Date / Alphabetical / Plays / Likes / Comments / Duration
or cancel

  1. Teaching Erlang using Robotics and Player/Stage.

    24:58

    from Malcolm Wallace / Added

    293 Plays / / 0 Comments

    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

      297 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

      • Development of a Distributed System Applied to Teaching and Learning.

        20:17

        from Malcolm Wallace / Added

        359 Plays / / 0 Comments

        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

          117 Plays / / 0 Comments

          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

            302 Plays / / 0 Comments

            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

              231 Plays / / 0 Comments

              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

                374 Plays / / 1 Comment

                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

                  92 Plays / / 0 Comments

                  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

                    108 Plays / / 0 Comments

                    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

                      134 Plays / / 0 Comments

                      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

                        237 Plays / / 0 Comments

                        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

                          653 Plays / / 0 Comments

                          CUFP Welcome and Overview Francesco Cesarini Commercial Users of Functional Programming (CUFP) 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

                          More stuff from Malcolm Wallace