Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akit
67,03 €
The conference was held virtually due to the COVID-19 pandemic. Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL. - Functional Pearl: The Distributive λ-Calculus. - On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.
Jetzt bei Ebay:
