ICFP 2009

International Conference on Functional Programming, 2009

s
Sort: Preset / Date / Alphabetical / Plays / Likes / Comments / Duration
or cancel

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

    24:26

    from Malcolm Wallace / Added

    335 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

    • Generic Programming with Fixed Points for Mutually Recursive Datatypes

      26:27

      from Malcolm Wallace / Added

      328 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, 3 Utrecht…

      + More details

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

        21:53

        from Malcolm Wallace / Added

        313 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

        • Finding Race Conditions in Erlang with QuickCheck and PULSE

          26:41

          from Malcolm Wallace / Added

          310 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

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

            19:30

            from Malcolm Wallace / Added

            306 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

            • SIGPLAN Programming Languages Achievement Award: Rod Burstall

              09:01

              from Malcolm Wallace / Added

              304 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

              • Biorthogonality, Step-Indexing and Compiler Correctness

                22:20

                from Malcolm Wallace / Added

                267 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

                • A Concurrent ML Library in Concurrent Haskell

                  24:30

                  from Malcolm Wallace / Added

                  258 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

                  • Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

                    19:09

                    from Malcolm Wallace / Added

                    250 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

                      226 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

                        222 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

                          207 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

                          More stuff from Malcolm Wallace