Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Michael Hanus
Themen in »Practical Aspects of Declarative Languages«
artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems engineering formal languages formal logic knowledge representation knowledge-based system linguistics logic programming mathematics