Funktionale und logische Programmierung: 16. Internationales Symposium, FLOPS 2022,
85,82 €
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:
