17th International Symposium on Functional and Logic Programming

Prazo para submissão: 01 January 2025

Data de Notificação: 01/04/2025

Editora: Elsevier

Revista: Science of Computer Programming

Link: https://www.sciencedirect.com/special-issue/316184/17th-international-symposium-on-functional-and-logic-programming

Detalhes:

Professor Jeremy GibbonsUniversity of Oxford, Oxford, UKAreas of Expertise: Functional programming, programming languages, program correctness, program transformation, patterns in programming Dr. Dale Miller, PhDInria Saclay FranceAreas of Expertise: computational logic, proof theory, automated theorem proving Special issue information: