Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Michael Hanus & Daniela Inclezan
    • $64.99
    • $64.99

Publisher Description

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.
The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

GENRE
Computers & Internet
RELEASED
2023
January 9
LANGUAGE
EN
English
LENGTH
331
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
36.8
MB

More Books Like This

Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2020
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2020
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2022
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019

More Books by Michael Hanus & Daniela Inclezan

Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2022
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2018
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
2009