Abstract is missing.
- Types for Role-Based Access Control of Dynamic Web DataMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic. 1-29 [doi]
- Transforming Functional Logic Programs into Monadic Functional ProgramsBernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck. 30-47 [doi]
- Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSLGeorge Giorgidze, Henrik Nilsson. 48-65 [doi]
- An Access Control Language Based on Term Rewriting and Description LogicMichele Baggi, Demis Ballis, Moreno Falaschi. 66-83 [doi]
- Lazy and Enforceable Assertions for Functional Logic ProgramsMichael Hanus. 84-100 [doi]
- Parameterized Models for On-Line and Off-Line UsePieter Wuille, Tom Schrijvers. 101-118 [doi]
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurryJan Christiansen, Daniel Seidel, Janis Voigtländer. 119-136 [doi]
- Efficient and Compositional Higher-Order StreamsGergely Patai. 137-154 [doi]
- Bridging the Gap between Two Concurrent Constraint LanguagesAlexei Lescaylle, Alicia Villanueva. 155-173 [doi]