Practical Aspects of Declarative Languages More Books by Ekaterina Komendantskaya & Yanhong Annie Liu

Mathematics of Program Construction

2022