TY  - BOOK
AU  - Hanus, Michael.
AU  - Inclezan, Daniela.
TI  - Practical Aspects of Declarative Languages
SN  - 9783031248412
U1  - 5.13 
PY  - 2023///
CY  - Cham 
PB  - Springer Nature Switzerland 
KW  - Compilers (Computer programs)
KW  - Compilers and Interpreters
KW  - Expert systems (Computer science)
KW  - Formal Languages and Automata Theory
KW  - Knowledge Based Systems
KW  - Logic in AI
KW  - Logic programming
KW  - Machine theory
KW  - Mathematical Logic and Foundations
KW  - Mathematical logic
KW  - Programming Language
KW  - Programming languages (Electronic computers)
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-24841-2
ER  -