↓ 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 1: Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
Chapter number 1
Book title
Functional and Logic Programming
Published by
Springer, Cham, September 2020
DOI 10.1007/978-3-030-59025-3_1
Book ISBNs
978-3-03-059024-6, 978-3-03-059025-3
Authors

Makoto Hamana, Hamana, Makoto

View on publisher site

This page is provided by Altmetric.