↓ 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 Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
  3. Altmetric Badge
    Chapter 2 From Sets to Bits in Coq
  4. Altmetric Badge
    Chapter 3 From Proposition to Program
  5. Altmetric Badge
    Chapter 4 The Boolean Constraint Solver of SWI-Prolog (System Description)
  6. Altmetric Badge
    Chapter 5 Probabilistic Inference by Program Transformation in Hakaru (System Description)
  7. Altmetric Badge
    Chapter 6 An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
  8. Altmetric Badge
    Chapter 7 Space-Efficient Planar Acyclicity Constraints
  9. Altmetric Badge
    Chapter 8 Functional and Logic Programming
  10. Altmetric Badge
    Chapter 9 Proof Relevant Corecursive Resolution
  11. Altmetric Badge
    Chapter 10 A Coq Library for Internal Verification of Running-Times
  12. Altmetric Badge
    Chapter 11 A Transformational Approach to Parametric Accumulated-Cost Static Profiling
  13. Altmetric Badge
    Chapter 12 Polymorphic Types in Erlang Function Specifications
  14. Altmetric Badge
    Chapter 13 Declarative Foreign Function Binding Through Generic Programming
  15. Altmetric Badge
    Chapter 14 Incremental Computing with Abstract Data Structures
  16. Altmetric Badge
    Chapter 15 Declarative Programming with Algebra
Attention for Chapter 2: From Sets to Bits in Coq
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
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
From Sets to Bits in Coq
Chapter number 2
Book title
Functional and Logic Programming
Published in
Lecture notes in computer science, February 2016
DOI 10.1007/978-3-319-29604-3_2
Book ISBNs
978-3-31-929603-6, 978-3-31-929604-3
Authors

Arthur Blot, Pierre-Évariste Dagand, Julia Lawall

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 2 67%
Professor > Associate Professor 1 33%
Readers by discipline Count As %
Computer Science 3 100%

This page is provided by Altmetric.