Functional and Logic ProgrammingKeisuke Nakano, Konstantinos Sagonas · First published 2020Open the Tome