


default search action
19th WFLP 2010: Madrid, Spain
- Julio Mariño:
Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6559, Springer 2011, ISBN 978-3-642-20774-7
Invited Paper
- Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
, Svetlana Jaksic, Jovanka Pantovic
:
Types for Role-Based Access Control of Dynamic Web Data. 1-29
Contributed Papers
- Bernd Braßel, Sebastian Fischer, Michael Hanus
, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. 30-47 - George Giorgidze, Henrik Nilsson
:
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. 48-65 - Michele Baggi, Demis Ballis, Moreno Falaschi
:
An Access Control Language Based on Term Rewriting and Description Logic. 66-83 - Michael Hanus
:
Lazy and Enforceable Assertions for Functional Logic Programs. 84-100 - Pieter Wuille
, Tom Schrijvers
:
Parameterized Models for On-Line and Off-Line Use. 101-118 - Jan Christiansen, Daniel Seidel, Janis Voigtländer
:
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. 119-136 - Gergely Patai:
Efficient and Compositional Higher-Order Streams. 137-154 - Alexei Lescaylle, Alicia Villanueva
:
Bridging the Gap between Two Concurrent Constraint Languages. 155-173

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
