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

Implementation and Application of Functional Languages

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Scans and Convolutions— A Calculational Proof of Moessner’s Theorem
  3. Altmetric Badge
    Chapter 2 From Functional Logic Programs to Purely Functional Programs Preserving Laziness
  4. Altmetric Badge
    Chapter 3 An Interaction Net Implementation of Closed Reduction
  5. Altmetric Badge
    Chapter 4 Implementation Architecture and Multithreaded Runtime System of S-Net
  6. Altmetric Badge
    Chapter 5 Parsing Mixfix Operators
  7. Altmetric Badge
    Chapter 6 Descriptor-Free Representation of Arrays with Dependent Types
  8. Altmetric Badge
    Chapter 7 Collected Size Semantics for Functional Programs over Lists
  9. Altmetric Badge
    Chapter 8 Embedding a Functional Hybrid Modelling Language in Haskell
  10. Altmetric Badge
    Chapter 9 Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors
  11. Altmetric Badge
    Chapter 10 A Library for Processing Ad hoc Data in Haskell
  12. Altmetric Badge
    Chapter 11 iEditors: Extending iTask with Interactive Plug-ins
  13. Altmetric Badge
    Chapter 12 An Executable and Testable Semantics for iTasks
  14. Altmetric Badge
    Chapter 13 Monatron: An Extensible Monad Transformer Library
  15. Altmetric Badge
    Chapter 14 Catch Me If You Can
  16. Altmetric Badge
    Chapter 15 Between Types and Tables
Attention for Chapter 1: Scans and Convolutions— A Calculational Proof of Moessner’s Theorem
Altmetric Badge

Readers on

mendeley
3 Mendeley
Summary
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
Scans and Convolutions— A Calculational Proof of Moessner’s Theorem
Chapter number 1
Book title
Implementation and Application of Functional Languages
Published by
Springer, Berlin, Heidelberg, September 2008
DOI 10.1007/978-3-642-24452-0_1
Book ISBNs
978-3-64-224451-3, 978-3-64-224452-0
Authors

Ralf Hinze

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 %
United States 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Student > Bachelor 1 33%
Researcher 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Philosophy 1 33%

This page is provided by Altmetric.