or cancel
  1. Safe Functional Reactive Programming through Dependent Types

    25:06

    from Malcolm Wallace Added 885 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 253 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 425 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 314 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 245 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 511 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 289 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 398 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 713 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 555 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 673 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 221 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