↓ 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 6: Descriptor-Free Representation of Arrays with Dependent Types
Altmetric Badge

Readers on

mendeley
2 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
Descriptor-Free Representation of Arrays with Dependent Types
Chapter number 6
Book title
Implementation and Application of Functional Languages
Published by
Springer, Berlin, Heidelberg, September 2008
DOI 10.1007/978-3-642-24452-0_6
Book ISBNs
978-3-64-224451-3, 978-3-64-224452-0
Authors

Kai Trojahner, Clemens Grelck

View on publisher site

This page is provided by Altmetric.