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

Implementation of Functional Languages

Overview of attention for book
Cover of 'Implementation of Functional Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Lazy Assertions
  3. Altmetric Badge
    Chapter 2 Interfacing Haskell with Object-Oriented Languages
  4. Altmetric Badge
    Chapter 3 A Functional Shell That Dynamically Combines Compiled Code
  5. Altmetric Badge
    Chapter 4 Polymorphic Type Reconstruction Using Type Equations
  6. Altmetric Badge
    Chapter 5 Correctness of Non-determinism Analyses in a Parallel-Functional Language
  7. Altmetric Badge
    Chapter 6 Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
  8. Altmetric Badge
    Chapter 7 Dynamic Chunking in Eden
  9. Altmetric Badge
    Chapter 8 With-Loop Scalarization – Merging Nested Array Operations
  10. Altmetric Badge
    Chapter 9 Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
  11. Altmetric Badge
    Chapter 10 Generic Graphical User Interfaces
  12. Altmetric Badge
    Chapter 11 Polytypic Programming in Haskell
Attention for Chapter 5: Correctness of Non-determinism Analyses in a Parallel-Functional Language
Altmetric Badge

Citations

dimensions_citation
1 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
Correctness of Non-determinism Analyses in a Parallel-Functional Language
Chapter number 5
Book title
Implementation of Functional Languages
Published by
Springer, Berlin, Heidelberg, September 2003
DOI 10.1007/978-3-540-27861-0_5
Book ISBNs
978-3-54-023727-3, 978-3-54-027861-0
Authors

Clara Segura, Ricardo Peña, Segura, Clara, Peña, Ricardo

View on publisher site

This page is provided by Altmetric.