or cancel
  1. Safe Functional Reactive Programming through Dependent Types

    25:06

    from Malcolm Wallace Added 950 4 1

    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 261 1 0

      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 438 3 0

        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 319 2 0

          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 260 1 0

            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 537 1 0

              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 299 1 0

                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 404 2 0

                  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 723 3 0

                    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 589 3 0

                      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 689 4 0

                        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 222 3 0

                          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

                          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