![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
28th WFLP 2020: Bologna, Italy
- 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
- Linda Brodo
, Roberto Bruni
, Moreno Falaschi
:
SOS Rules for Equivalences of Reaction Systems. 3-21 - Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. 22-38
Implementation and Static Analysis
- Philipp Körner
, David Schneider, Michael Leuschel
:
On the Performance of Bytecode Interpreters in Prolog. 41-56 - Michael Hanus
, Finn Teegen
:
Memoized Pull-Tabbing for Functional Logic Programming. 57-73 - Isabel Wingen, Philipp Körner
:
Effectiveness of Annotation-Based Static Type Inference. 74-93
Generating and Checking Exercises
- Oliver Westphal
:
A Framework for Generating Diverse Haskell-I/O Exercise Tasks. 97-114
Constraint Programming
- Catherine Dubois
:
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. 117-128 - Hendrik Winkelmann
, Jan C. Dageförde
, Herbert Kuchen:
Constraint-Logic Object-Oriented Programming with Free Arrays. 129-144
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.