↓ Skip to main content

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 Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name
  3. Altmetric Badge
    Chapter 2 Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic
  4. Altmetric Badge
    Chapter 3 $$\lambda $$ λ to SKI, Semantically
  5. Altmetric Badge
    Chapter 4 Program Extraction for Mutable Arrays
  6. Altmetric Badge
    Chapter 5 Functional Pearl: Folding Polynomials of Polynomials
  7. Altmetric Badge
    Chapter 6 A Functional Perspective on Machine Learning via Programmable Induction and Abduction
  8. Altmetric Badge
    Chapter 7 Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
  9. Altmetric Badge
    Chapter 8 Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
  10. Altmetric Badge
    Chapter 9 On Probabilistic Term Rewriting
  11. Altmetric Badge
    Chapter 10 Equivalence Checking of Non-deterministic Operations
  12. Altmetric Badge
    Chapter 11 Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers
  13. Altmetric Badge
    Chapter 12 Breaking Symmetries with Lex Implications
  14. Altmetric Badge
    Chapter 13 Model Checking Parameterized by the Semantics in Maude
  15. Altmetric Badge
    Chapter 14 Automated Amortised Resource Analysis for Term Rewrite Systems
  16. Altmetric Badge
    Chapter 15 A Common Framework Using Expected Types for Several Type Debugging Approaches
  17. Altmetric Badge
    Chapter 16 CauDEr: A Causal-Consistent Reversible Debugger for Erlang
  18. Altmetric Badge
    Chapter 17 Cheap Remarks About Concurrent Programs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
googleplus
1 Google+ user

Readers on

mendeley
35 Mendeley
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.
Title
Functional and Logic Programming
Published by
Springer International Publishing, January 2018
DOI 10.1007/978-3-319-90686-7
ISBNs
978-3-31-990685-0, 978-3-31-990686-7
Editors

Gallagher, John P., Sulzmann, Martin

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 35 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 2 6%
Indonesia 1 3%
Spain 1 3%
South Africa 1 3%
Japan 1 3%
United States 1 3%
Belgium 1 3%
Unknown 27 77%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 31%
Student > Bachelor 6 17%
Student > Master 5 14%
Professor > Associate Professor 4 11%
Student > Doctoral Student 3 9%
Other 6 17%
Readers by discipline Count As %
Computer Science 30 86%
Unspecified 2 6%
Mathematics 1 3%
Business, Management and Accounting 1 3%
Economics, Econometrics and Finance 1 3%
Other 0 0%