Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

28th WFLP 2020: Bologna, Italy

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2020
Michael Hanus, Claudio Sacerdoti Coen:
Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12560, Springer 2021, ISBN 978-3-030-75332-0

Programming Paradigms

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/BrodoBF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/BrodoBF20
Linda Brodo, Roberto Bruni, Moreno Falaschi:
SOS Rules for Equivalences of Reaction Systems. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WidemannL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WidemannL20
Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. 22-38

Implementation and Static Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Korner0L20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Korner0L20
Philipp Körner, David Schneider, Michael Leuschel:
On the Performance of Bytecode Interpreters in Prolog. 41-56
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/HanusT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/HanusT20
Michael Hanus, Finn Teegen:
Memoized Pull-Tabbing for Functional Logic Programming. 57-73
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WingenK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WingenK20
Isabel Wingen, Philipp Körner:
Effectiveness of Annotation-Based Static Type Inference. 74-93

Generating and Checking Exercises

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Westphal20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Westphal20
Oliver Westphal:
A Framework for Generating Diverse Haskell-I/O Exercise Tasks. 97-114

Constraint Programming

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Dubois20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Dubois20
Catherine Dubois:
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. 117-128
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WinkelmannDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WinkelmannDK20
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. 129-144

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.