Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certiﬁcation Framework Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux…+ More details
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 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 Tiark Rompf, Ingo Maier, Martin Odersky; EPFL International Conference on Functional Programming…+ More details
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.