or cancel
  1. Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

    19:09

    from Malcolm Wallace / Added

    255 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
    • Identifying Query Incompatibilities with Evolving XML Schemas

      23:40

      from Malcolm Wallace / Added

      144 Plays / / 0 Comments

      Identifying Query Incompatibilities with Evolving XML Schemas Pierre Genevès , Nabil Layaïda , Vincent Quint ; CNRS, INRIA

      + More details
      • Purely Functional Lazy Non-deterministic Programming

        22:50

        from Malcolm Wallace / Added

        683 Plays / / 0 Comments

        Purely Functional Lazy Non-deterministic Programming Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan; Christian-Albrechts University, FNMOC, Rutgers University International Conference on Functional…

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

          21:53

          from Malcolm Wallace / Added

          342 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

          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