TY  - BOOK
AU  - Gavanelli,Marco
AU  - Reppy,John
ED  - SpringerLink (Online service)
TI  - Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783319282282
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Algorithms
KW  - Computer logic
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Algorithm Analysis and Problem Complexity
N2  - This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc
UR  - http://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-28228-2
ER  -