↓ 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 Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
  3. Altmetric Badge
    Chapter 2 The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
  4. Altmetric Badge
    Chapter 3 A Functional Programming Technique for Forms in Graphical User Interfaces
  5. Altmetric Badge
    Chapter 4 A Rational Deconstruction of Landin’s SECD Machine
  6. Altmetric Badge
    Chapter 5 Explaining ML Type Errors by Data Flows
  7. Altmetric Badge
    Chapter 6 V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions
  8. Altmetric Badge
    Chapter 7 A Virtual Machine for Functional Logic Computations
  9. Altmetric Badge
    Chapter 8 Source-Based Trace Exploration
  10. Altmetric Badge
    Chapter 9 Shrinking Reductions in SML.NET
  11. Altmetric Badge
    Chapter 10 Dynamic Construction of Generic Functions
  12. Altmetric Badge
    Chapter 11 Reasoning About Deterministic Concurrent Functional I/O
  13. Altmetric Badge
    Chapter 12 General Homomorphic Overloading
  14. Altmetric Badge
    Chapter 13 Simple, Effective Code-Size Reduction for Functional Programs
Attention for Chapter 5: Explaining ML Type Errors by Data Flows
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
So far, Dimensions has found 4 publications that cite this research output.

4

The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.