Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)

09/02/2020
by   Michael Hanus, et al.
0

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages 2020. The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions.

READ FULL TEXT
research
10/01/2018

Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)

This volume constitutes the pre-proceedings of the 26th International Wo...
research
01/17/2021

Proceedings of the 2020 Scheme and Functional Programming Workshop

This report aggregates the papers presented at the twenty-first annual S...
research
09/11/2019

Pre-proceedings of the DECLARE 2019 Conference

This volume constitutes the pre-proceedings of the DECLARE 2019 conferen...
research
06/08/2019

Proceedings Seventh International Workshop on Trends in Functional Programming in Education

The Seventh International Workshop on Trends in Functional Programming i...
research
07/10/2018

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming

The seventh workshop on Mathematically Structured Functional Programming...
research
01/07/2013

A Logic Programming Approach to Integration Network Inference

The discovery, representation and reconstruction of (technical) integrat...
research
08/15/2020

LPOP: Challenges and Advances in Logic and Practice of Programming

This article describes the work presented at the first Logic and Practic...

Please sign up or login with your details

Forgot password? Click here to reset