↓ Skip to main content
What is this page? Embed badge

Functional and Logic Programming

Overview of attention for book
Cover of 'Functional and Logic Programming'

Table of Contents

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

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.