WFLP

Keyphrases

Publications

volume 12560, 2021

Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers WFLP 12560 (2021)

2020

Isabel Wingen, Philipp Körner
Effectiveness of Annotation-Based Static Type Inference. WFLP (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. WFLP (2020)
Michael Hanus, Finn Teegen
Memoized Pull-Tabbing for Functional Logic Programming. WFLP (2020)
Oliver Westphal
A Framework for Generating Diverse Haskell-I/O Exercise Tasks. WFLP (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. WFLP (2020)
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP (2020)
Catherine Dubois
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. WFLP (2020)
Baltasar Trancón y Widemann, Markus Lepper
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP (2020)

volume 11285, 2019

Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers WFLP 11285 (2019)

2018

2011

volume 6816, 2011

Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings WFLP 6816 (2011)

volume 6559, 2011

Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers WFLP 6559 (2011)

2010

volume 5979, 2010

Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers WFLP 5979 (2010)

2009

volume 246, 2009

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008 WFLP 246 (2009)