↓ 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 Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
  3. Altmetric Badge
    Chapter 2 The KB Paradigm and Its Application to Interactive Configuration
  4. Altmetric Badge
    Chapter 3 A GPU Implementation of the ASP Computation
  5. Altmetric Badge
    Chapter 4 The Picat-SAT Compiler
  6. Altmetric Badge
    Chapter 5 Default Rules for Curry
  7. Altmetric Badge
    Chapter 6 Generic Matching of Tree Regular Expressions over Haskell Data Types
  8. Altmetric Badge
    Chapter 7 A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations
  9. Altmetric Badge
    Chapter 8 Computing with Catalan Families, Generically
  10. Altmetric Badge
    Chapter 9 Simplifying Probabilistic Programs Using Computer Algebra
  11. Altmetric Badge
    Chapter 10 Haskino: A Remote Monad for Programming the Arduino
  12. Altmetric Badge
    Chapter 11 From Monads to Effects and Back
Attention for Chapter 6: Generic Matching of Tree Regular Expressions over Haskell Data Types
Altmetric Badge

Citations

dimensions_citation
2 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
Generic Matching of Tree Regular Expressions over Haskell Data Types
Chapter number 6
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2016
DOI 10.1007/978-3-319-28228-2_6
Book ISBNs
978-3-31-928227-5, 978-3-31-928228-2
Authors

Alejandro Serrano, Jurriaan Hage, Serrano, Alejandro, Hage, Jurriaan

View on publisher site

This page is provided by Altmetric.