Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

19th WFLP 2010: Madrid, Spain

> Home > Conferences and Workshops > WFLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Dezani-CiancagliniGJP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Dezani-CiancagliniGJP10
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. 1-29

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BrasselFHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BrasselFHR10
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. 30-47
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/GiorgidzeN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/GiorgidzeN10
George Giorgidze, Henrik Nilsson:
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. 48-65
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BaggiBF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BaggiBF10
Michele Baggi, Demis Ballis, Moreno Falaschi:
An Access Control Language Based on Term Rewriting and Description Logic. 66-83
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Hanus10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Hanus10
Michael Hanus:
Lazy and Enforceable Assertions for Functional Logic Programs. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WuilleS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WuilleS10
Pieter Wuille, Tom Schrijvers:
Parameterized Models for On-Line and Off-Line Use. 101-118
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/ChristiansenSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/ChristiansenSV10
Jan Christiansen, Daniel Seidel, Janis Voigtländer:
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. 119-136
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Patai10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Patai10
Gergely Patai:
Efficient and Compositional Higher-Order Streams. 137-154
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/LescaylleV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/LescaylleV10
Alexei Lescaylle, Alicia Villanueva:
Bridging the Gap between Two Concurrent Constraint Languages. 155-173

a service of

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.