Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyot
85,09 €
Improving Type Error Reporting for Type Classes. - Asynchronous Unfold/Fold Transformation for Fixpoint Logic. - Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. - Translation Certification for Smart Contracts.
Jetzt bei Ebay:
