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