↓ Skip to main content
What is this page? Embed badge

Practical Aspects of Declarative Languages

Overview of attention for book
Cover of 'Practical Aspects of Declarative Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Eliminating Irrelevant Non-determinism in Functional Logic Programs
  3. Altmetric Badge
    Chapter 2 Canonicalizing High-Level Constructs in Picat
  4. Altmetric Badge
    Chapter 3 An Overview of P $$\rho $$ Log
  5. Altmetric Badge
    Chapter 4 Integrating Answer Set Programming with Object-Oriented Languages
  6. Altmetric Badge
    Chapter 5 Extending Answer Set Programs with Interpreted Functions as First-Class Citizens
  7. Altmetric Badge
    Chapter 6 Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System
  8. Altmetric Badge
    Chapter 7 Failing Faster: Overlapping Patterns for Property-Based Testing
  9. Altmetric Badge
    Chapter 8 Boltzmann Samplers for Closed Simply-Typed Lambda Terms
  10. Altmetric Badge
    Chapter 9 Selection Equilibria of Higher-Order Games
  11. Altmetric Badge
    Chapter 10 DALI for Cognitive Robotics: Principles and Prototype Implementation
  12. Altmetric Badge
    Chapter 11 Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
  13. Altmetric Badge
    Chapter 12 A Domain-Specific Language for Software-Defined Radio
  14. Altmetric Badge
    Chapter 13 A Declarative DSL for Customizing ASCII Art
  15. Altmetric Badge
    Chapter 14 Using Iterative Deepening for Probabilistic Logic Inference
Attention for Chapter 8: Boltzmann Samplers for Closed Simply-Typed Lambda Terms
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 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
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
Chapter number 8
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-51676-9_8
Book ISBNs
978-3-31-951675-2, 978-3-31-951676-9
Authors

Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Mathematics 1 100%

This page is provided by Altmetric.