↓ 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 8: Declarative Pearl: Deriving Monadic Quicksort
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age
  • Good Attention Score compared to outputs of the same age and source (73rd percentile)

Mentioned by

twitter
3 X users
reddit
1 Redditor

Citations

dimensions_citation
3 Dimensions
Summary X Reddit Dimensions citations

This page is provided by Altmetric.