default search action

combined dblp search
author search
venue search
publication search

ask others

20th WFLP 2011: Odense, Denmark

> 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/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2011
Herbert Kuchen:
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Lecture Notes in Computer Science 6816, Springer 2011, ISBN 978-3-642-22530-7

Functional Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BrasselHPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BrasselHPR11
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/AntoyH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/AntoyH11
Sergio Antoy, Michael Hanus:
New Functional Logic Design Patterns. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Almendros-JimenezCGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Almendros-JimenezCGS11
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
XQuery in the Functional-Logic Language Toy. 35-51

Functional Programming

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/PenaD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/PenaD11
Ricardo Peña, Agustin D. Delgado-Muñoz:
Size Invariant and Ranking Function Synthesis in a Functional Language. 52-67
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WuilleSSTS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WuilleSSTS11
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. 68-85
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/RodriguesFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/RodriguesFS11
Vítor Rodrigues, Mário Florido, Simão Melo de Sousa:
A Functional Approach to Worst-Case Execution Time Analysis. 86-103
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Zinn11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Zinn11
Claus Zinn:
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming. 104-121

Integration of Constraint Logic and Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/MajchrzakK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/MajchrzakK11
Tim A. Majchrzak, Herbert Kuchen:
Logic Java: Combining Object-Oriented and Logic Programming. 122-137

Term Rewriting

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/SakataNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/SakataNS11
Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe:
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs. 138-155

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.