or cancel
  1. Parallel Concurrent ML

    25:02

    from Malcolm Wallace / Added

    243 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
    • Automatically RESTful Web Applications: Marking Modular Serializable Continuations

      26:09

      from Malcolm Wallace / Added

      750 Plays / / 0 Comments

      Automatically RESTful Web Applications: Marking Modular Serializable Continuations Jay A. McCarthy; Brigham Young University International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

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

        24:26

        from Malcolm Wallace / Added

        379 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
        • Free Theorems Involving Type Constructor Classes

          24:54

          from Malcolm Wallace / Added

          234 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
          • Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful

            01:05:34

            from Malcolm Wallace / Added

            10.6K Plays / / 1 Comment

            Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful Guy L. Steele, Jr.; Sun Microsystems International Conference on Functional Programming (ICFP) Edinburgh…

            + More details
            • A Universe of Binding and Computation

              24:44

              from Malcolm Wallace / Added

              440 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
              • Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language

                18:23

                from Malcolm Wallace / Added

                1,395 Plays / / 1 Comment

                Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language Curt J. Sampson; Starling Software International Conference on Functional…

                + More details
                • Beautiful Differentiation

                  30:12

                  from Malcolm Wallace / Added

                  1,354 Plays / / 0 Comments

                  Beautiful Differentiation Conal M. Elliott; LambdaPix 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
                    • Biorthogonality, Step-Indexing and Compiler Correctness

                      22:20

                      from Malcolm Wallace / Added

                      276 Plays / / 0 Comments

                      Biorthogonality, Step-Indexing and Compiler Correctness Nick Benton and Chung-Kil Hur; Microsoft Research, University of Cambridge International Conference on Functional Programming (ICFP) Edinburgh…

                      + More details
                      • Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations

                        01:02:29

                        from Malcolm Wallace / Added

                        1,672 Plays / / 0 Comments

                        Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations Benjamin C. Pierce; University of Pennsylvania International Conference on Functional Programming (ICFP) Edinburgh…

                        + More details
                        • Report on the Twelfth ICFP Programming Contest

                          42:47

                          from Malcolm Wallace / Added

                          1,391 Plays / / 0 Comments

                          Report on the Twelfth ICFP Programming Contest Andy Gill; University of Kansas International Conference on Functional Programming (ICFP) 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