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

    24:26

    from Malcolm Wallace / Added

    396 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
    • Finding Race Conditions in Erlang with QuickCheck and PULSE

      26:41

      from Malcolm Wallace / Added

      367 Plays / / 0 Comments

      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

        363 Plays / / 0 Comments

        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

          352 Plays / / 0 Comments

          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

            329 Plays / / 0 Comments

            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

              320 Plays / / 0 Comments

              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

                287 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

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

                    19:09

                    from Malcolm Wallace / Added

                    257 Plays / / 0 Comments

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

                      25:02

                      from Malcolm Wallace / Added

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

                        24:54

                        from Malcolm Wallace / Added

                        245 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
                        • Partial Memoization of Concurrency and Communication

                          25:56

                          from Malcolm Wallace / Added

                          225 Plays / / 0 Comments

                          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