↓ 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 Programming with Boolean Satisfaction
  3. Altmetric Badge
    Chapter 2 Automated Verification of Higher-Order Functional Programs
  4. Altmetric Badge
    Chapter 3 Dependently-Typed Programming in GHC
  5. Altmetric Badge
    Chapter 4 Call-by-Value Solvability, Revisited
  6. Altmetric Badge
    Chapter 5 Compiling a Functional Logic Language: The Basic Scheme
  7. Altmetric Badge
    Chapter 6 Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
  8. Altmetric Badge
    Chapter 7 Normal Form Bisimulations for Delimited-Control Operators
  9. Altmetric Badge
    Chapter 8 Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
  10. Altmetric Badge
    Chapter 9 Declarative Debugging of Wrong and Missing Answers for SQL Views
  11. Altmetric Badge
    Chapter 10 Improving the Performance of FD Constraint Solving in a CFLP System
  12. Altmetric Badge
    Chapter 11 A General Implementation Framework for Tabled CLP
  13. Altmetric Badge
    Chapter 12 Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers
  14. Altmetric Badge
    Chapter 13 Correct Looping Arrows from Cyclic Terms
  15. Altmetric Badge
    Chapter 14 A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom
  16. Altmetric Badge
    Chapter 15 Iteratees
  17. Altmetric Badge
    Chapter 16 Mutual Exclusion by Interpolation
  18. Altmetric Badge
    Chapter 17 Parallel Computation Skeletons with Premature Termination Property
  19. Altmetric Badge
    Chapter 18 Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems
  20. Altmetric Badge
    Chapter 19 A Data Flow Language for Hybrid Query and Programming Languages
  21. Altmetric Badge
    Chapter 20 Coinductive Constraint Logic Programming
  22. Altmetric Badge
    Chapter 21 A Call-by-Name CPS Hierarchy
  23. Altmetric Badge
    Chapter 22 Exact Flow Analysis by Higher-Order Model Checking
  24. Altmetric Badge
    Chapter 23 Computing in Cantor’s Paradise with λ ZFC
  25. Altmetric Badge
    Chapter 24 The Finite Domain Constraint Solver of SWI-Prolog
  26. Altmetric Badge
    Chapter 25 Explicit Binds: Effortless Efficiency with and without Trees
Attention for Chapter 15: Iteratees
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
3 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
41 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.
Chapter title
Iteratees
Chapter number 15
Book title
Functional and Logic Programming
Published by
Springer-Verlag, May 2012
DOI 10.1007/978-3-642-29822-6_15
Book ISBNs
978-3-64-229821-9, 978-3-64-229822-6
Authors

Oleg Kiselyov, Kiselyov, Oleg

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 41 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 2 5%
France 1 2%
Germany 1 2%
Canada 1 2%
India 1 2%
Unknown 35 85%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 13 32%
Other 7 17%
Researcher 6 15%
Student > Master 5 12%
Student > Ph. D. Student 3 7%
Other 1 2%
Unknown 6 15%
Readers by discipline Count As %
Computer Science 28 68%
Mathematics 4 10%
Engineering 3 7%
Linguistics 1 2%
Unknown 5 12%