↓ 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 4: A Rational Deconstruction of Landin’s SECD Machine
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
9 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.