Practical Aspects of Declarative Languages, 1st ed. 2018 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings Programming and Software Engineering Series
Coordonnateurs : Calimeri Francesco, Hamlen Kevin, Leone Nicola
Includes supplementary material: sn.pub/extras
Date de parution : 12-2017
Ouvrage de 203 p.
15.5x23.5 cm
Thème de Practical Aspects of Declarative Languages :
Mots-clés :
Answer Set Programming; Compilers And Interpreters; Computer Algebra; Constraint Programming; Cycle Handling; Declarative Programming; Domain-specific Languages; Functional Programming; Haskell; Logic Programming; Probabilistic Logic Programming; programming languages; world wide web; web services; formal logic; Hybrid Systems; Knowledge Representation; Language Implementation; Satisfiability; Type Inference