ICFP 2009

International Conference on Functional Programming, 2009

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

  1. OXenstored: An Efficient Hierarchical and Transactional Database using Functional Programming with Reference Cell Comparisons

    24:02

    from Malcolm Wallace / Added

    205 Plays / / 0 Comments

    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

    • 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

      • Complete and Decidable Type Inference for GADTs

        22:06

        from Malcolm Wallace / Added

        406 Plays / / 0 Comments

        Complete and Decidable Type Inference for GADTs Tom Schrijvers , Simon Peyton Jones , Martin Sulzmann , Dimitrios Vytiniotis ; Katholieke Universiteit Leuven, Microsoft Research, Intaris Software…

        + More details

        • Experience Report: Ocsigen, a Web Programming Framework

          18:19

          from Malcolm Wallace / Added

          459 Plays / / 0 Comments

          Experience Report: Ocsigen, a Web Programming Framework Vincent Balat, Jérôme Vouillon, Boris Yakobowski; Laboratoire Preuves, Programmes et Systèmes - Université Paris Diderot (Paris 7), CNRS International…

          + 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