Functional and Logic Programming
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
-
Altmetric BadgeChapter 2 The Bang Calculus Revisited
-
Altmetric BadgeChapter 3 Functional Pearl: The Distributive $$\lambda $$ -Calculus
-
Altmetric BadgeChapter 4 Polynomial Time over the Reals with Parsimony
-
Altmetric BadgeChapter 5 Session Types Without Sophistry
-
Altmetric BadgeChapter 6 Restriction on Cut in Cyclic Proof System for Symbolic Heaps
-
Altmetric BadgeChapter 7 On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
-
Altmetric BadgeChapter 8 Declarative Pearl: Deriving Monadic Quicksort
-
Altmetric BadgeChapter 9 Language-Integrated Query with Nested Data Structures and Grouping
-
Altmetric BadgeChapter 10 An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
-
Altmetric BadgeChapter 11 Implementing, and Keeping in Check, a DSL Used in E-Learning
-
Altmetric BadgeChapter 12 System Description: Lang-n-Change - A Tool for Transforming Languages
-
Altmetric BadgeChapter 13 An SMT-Based Concolic Testing Tool for Logic Programs
Altmetric Badge
Citations
- dimensions_citation
- 3 Dimensions