or cancel
  1. Safe Functional Reactive Programming through Dependent Types

    25:06

    from Malcolm Wallace / Added

    810 Plays / / 1 Comment

    Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

    + More details
    • Parallel Concurrent ML

      25:02

      from Malcolm Wallace / Added

      245 Plays / / 0 Comments

      Parallel Concurrent ML John Reppy , Claudio V. Russo , Yingqi Xiao ; University of Chicago, Microsoft Research International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

      + More details
      • Non-Parametric Parametricity

        24:59

        from Malcolm Wallace / Added

        415 Plays / / 0 Comments

        Non-Parametric Parametricity Georg Neis, Derek Dreyer, Andreas Rossberg; MPI-SWS International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

        + More details
        • Teaching Erlang using Robotics and Player/Stage.

          24:58

          from Malcolm Wallace / Added

          306 Plays / / 0 Comments

          Teaching Erlang using Robotics and Player/Stage. Sten Grüner and Thomas Lorentsen Erlang Workshop Edinburgh 2009 ACM SIGPLAN

          + More details
          • Free Theorems Involving Type Constructor Classes

            24:54

            from Malcolm Wallace / Added

            237 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
            • A Universe of Binding and Computation

              24:44

              from Malcolm Wallace / Added

              461 Plays / / 0 Comments

              A Universe of Binding and Computation Daniel Licata and Robert Harper; Carnegie Mellon University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

              + More details
              • A Concurrent ML Library in Concurrent Haskell

                24:30

                from Malcolm Wallace / Added

                285 Plays / / 0 Comments

                A Concurrent ML Library in Concurrent Haskell Avik Chaudhuri; University of Maryland, College Park (talk given by Claudio Russo) International Conference on Functional Programming (ICFP) Edinburgh…

                + More details
                • Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation

                  24:26

                  from Malcolm Wallace / Added

                  384 Plays / / 0 Comments

                  Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation Jan Midtgaard and Thomas P. Jensen; Roskilde University, CNRS International Conference on Functional Programming…

                  + More details
                  • Unembedding Domain-specific Languages

                    24:24

                    from Malcolm Wallace / Added

                    674 Plays / / 0 Comments

                    Unembedding Domain-specific Languages Robert Atkey, Sam Lindley and Jeremy Yallop Haskell Symposium Edinburgh 2009 ACM SIGPLAN

                    + More details
                    • Causal Commutative Arrows and Their Optimization

                      24:20

                      from Malcolm Wallace / Added

                      510 Plays / / 0 Comments

                      Causal Commutative Arrows and Their Optimization Hai Liu, Eric Cheng, Paul Hudak; Yale University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                      + More details
                      • Scheduling Lazy Evaluation on Multicore

                        24:06

                        from Malcolm Wallace / Added

                        644 Plays / / 0 Comments

                        A talk given by Simon Marlow at the Haskell Implementors' Workshop 2010, in Baltimore.

                        + More details
                        • OXenstored: An Efficient Hierarchical and Transactional Database using Functional Programming with Reference Cell Comparisons

                          24:02

                          from Malcolm Wallace / Added

                          221 Plays / / 0 Comments

                          OXenstored: An Efficient Hierarchical and Transactional Database using Functional Programming with Reference Cell Comparisons Thomas Gazagnaire and Vincent Hanquez; Citrix Systems International Conference…

                          + 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