Title: Functional and logic programming
Subjects: Logic programming, Functional programming (Computer science), Congresses