19th Workshop on Functional and (Constraint) Logic
Programming
January 17th, 2010, Madrid, Spain
Co-located with POPL 2010
Recommendations and instructions
Videos were recorded in high-resolution H264 level 4, yuv420p, 1440x1080i [PAR 4:3 DAR 16:9] 50fps 6000kbps video format and ffmp48000 Hz AC3 2-channel stereo 256kbps sound format.
Masters are available under request, we provide the following encoded variants:
- High Quality
-
Container: Standard mp4
Video: H.264 level 5, 2500kbps, 1440x1080 [PAR:4:3, DAR 16:9] 25fps deinterlaced.
Audio: AAC 48000 Hz, 256kbps stereo 2 ch. - Medium quality
-
Container: Standard mp4 (Hinted, ISMA 1.0 optimized)
Video: H.264 level 5, 200kbps, 1280x720 [PAR:1:1, DAR 16:9] 25fps deinterlaced.
Audio: AAC 48000 Hz, 96kbps 1 ch.
The recommended player is VLC
Video list
Invited talk: Sessions and Session Types
- Speaker
- Mariangiola Dezani-Ciancaglini
- High Quality Video
- Link to mp4 file (1.1 GiB)
- Medium Quality Video
- Link to mp4 file (131 MiB) View online
Transforming Functional Logic Programs into Monadic Functional Programs
- Speaker
- Fabian Reck
- High Quality Video
- Link to mp4 file (575 MiB)
- Medium Quality Video
- Link to mp4 file (68 MiB) View online
Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL
- Speaker
- George Giorgidze
- High Quality Video
- Link to mp4 file (628 MiB)
- Medium Quality Video
- Link to mp4 file (75 MiB) View online
An Access Control Language based on Term Rewriting and Description Logic
- Speaker
- Demis Ballis
- High Quality Video
- Link to mp4 file (706 MiB)
- Medium Quality Video
- Link to mp4 file (84 MiB) View online
Lazy and Faithful Assertions for Functional Logic Programs
- Speaker
- Michael Hanus
- High Quality Video
- Link to mp4 file (737 MiB)
- Medium Quality Video
- Link to mp4 file (88 MiB) View online
Parameterized Models for On-line and Off-line Use
- Speaker
- Pieter Wuille
- High Quality Video
- Link to mp4 file (583 MiB)
- Medium Quality Video
- Link to mp4 file (70 MiB) View online
A Denotational Semantics for Curry
- Speaker
- Daniel Seidel
- High Quality Video
- Link to mp4 file (644 MiB)
- Medium Quality Video
- Link to mp4 file (79 MiB) View online
Efficient and Compositional Higher-Order Streams
- Speaker
- Gergely Patai
- High Quality Video
- Link to mp4 file (581 MiB)
- Medium Quality Video
- Link to mp4 file (70 MiB) View online
Large scale random testing with QuickCheck on MapReduce framework
- Speaker
- Shigeru Kusakabe
- High Quality Video
- Link to mp4 file (606 MiB)
- Medium Quality Video
- Link to mp4 file (72 MiB) View online
Bridging the gap between two Concurrent Constraint Languages
- Speaker
- Alicia Villanueva García
- High Quality Video
- Link to mp4 file (598 MiB)
- Medium Quality Video
- Link to mp4 file (71 MiB) View online
Automated verification of security protocols in tccp
- Speaker
- Alexei Lescaylle Daudinot
- High Quality Video
- Link to mp4 file (571 MiB)
- Medium Quality Video
- Link to mp4 file (67 MiB) View online
A Declarative Debugger of Missing Answers for Functional and Logic Programming
- Speaker
- Fernando Pérez Morente
- High Quality Video
- Link to mp4 file (597 MiB)
- Medium Quality Video
- Link to mp4 file (71 MiB) View online
Implementation and Evaluation of a Declarative Debugger for Java
- Speaker
- Christian Hermanns
- High Quality Video
- Link to mp4 file (579 MiB)
- Medium Quality Video
- Link to mp4 file (70 MiB) View online