or cancel
  1. Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation

    24:26

    from Malcolm Wallace Added 412 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
    • Finding Race Conditions in Erlang with QuickCheck and PULSE

      26:41

      from Malcolm Wallace Added 404 1 0

      Finding Race Conditions in Erlang with QuickCheck and PULSE Koen Claessen, Micha􏰀l Pa􏰀lka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger; Chalmers University of Technology,…

      + More details
      • Generic Programming with Fixed Points for Mutually Recursive Datatypes

        26:27

        from Malcolm Wallace Added 395 2 0

        Generic Programming with Fixed Points for Mutually Recursive Datatypes Alexey Rodriguez Yakushev, Stefan Holdermans, Andres L¨oh, Johan Jeuring; 1 Vector Fabrics B.V., 2 Utrecht University,…

        + More details
        • Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

          21:53

          from Malcolm Wallace Added 389 0 0

          Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform Tiark Rompf, Ingo Maier, Martin Odersky; EPFL International Conference on Functional Programming…

          + More details
          • SIGPLAN Programming Languages Achievement Award: Rod Burstall

            09:01

            from Malcolm Wallace Added 347 4 0

            SIGPLAN Programming Languages Achievement Award: Rod Burstall (given by: Phil Wadler) International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

            + More details
            • Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL

              19:30

              from Malcolm Wallace Added 333 1 0

              Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL Ryan R. Newton and Teresa Ko; MIT CSAIL, UCLA Vision Lab International Conference on Functional Programming (ICFP) Edinburgh…

              + More details
              • A Concurrent ML Library in Concurrent Haskell

                24:30

                from Malcolm Wallace Added 311 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
                • Biorthogonality, Step-Indexing and Compiler Correctness

                  22:20

                  from Malcolm Wallace Added 291 1 0

                  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
                  • Parallel Concurrent ML

                    25:02

                    from Malcolm Wallace Added 286 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
                    • Free Theorems Involving Type Constructor Classes

                      24:54

                      from Malcolm Wallace Added 274 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
                      • Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

                        19:09

                        from Malcolm Wallace Added 268 0 0

                        Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux…

                        + More details
                        • Partial Memoization of Concurrency and Communication

                          25:56

                          from Malcolm Wallace Added 231 0 0

                          Partial Memoization of Concurrency and Communication Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan; Purdue University International Conference on Functional Programming (ICFP) Edinburgh…

                          + More details

                          Albums

                          Albums

                          There are 40 videos in this album. Albums make it easy to organize a collection of videos. They can be used to display videos together, or sent to friends as a playlist. You can even arrange the order of videos in each album.

                          You can add a video to one of your albums or create a new album from the "+Add to…" tab on video pages.

                          Albums can also be used to show videos on other web sites using Vimeo Widgets.

                          Also Check Out