Funktionale und logische Programmierung: 15. Internationales Symposium, FLOPS 2020,
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL.- ¿The Bang Calculus Revisited.- Functional Pearl: The Distributive ¿-Calculus.- Polynomial time over the reals with parsimony.- Session Types without Sophistry (System Description).- Restriction on cut in cyclic proof system for symbolic heaps.- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.- Declarative Pearl: Deriving Monadic Quicksort.- Language-Integrated Query with Nested Data Structures and Grouping.- An efficient composition of bidirectional programs by memoization and lazy update.- Implementing, and Keeping in Check, a DSL Used in E-Learning.- System Description: Lang-n-Change -- A Tool for Transforming Languages.
Jetzt bei Ebay:
