↓ 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 Graph Parser Combinators
  3. Altmetric Badge
    Chapter 2 Testing Erlang Refactorings with QuickCheck
  4. Altmetric Badge
    Chapter 3 Optimal Lambda Lifting in Quadratic Time
  5. Altmetric Badge
    Chapter 4 The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
  6. Altmetric Badge
    Chapter 5 XHaskell – Adding Regular Expression Types to Haskell
  7. Altmetric Badge
    Chapter 6 Partial Parsing: Combining Choice with Commitment
  8. Altmetric Badge
    Chapter 7 Lazy Contract Checking for Immutable Data Structures
  9. Altmetric Badge
    Chapter 8 The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
  10. Altmetric Badge
    Chapter 9 A Supercompiler for Core Haskell
  11. Altmetric Badge
    Chapter 10 Checking Dependent Types Using Compiled Code
  12. Altmetric Badge
    Chapter 11 Debugging Lazy Functional Programs by Asking the Oracle
  13. Altmetric Badge
    Chapter 12 Uniqueness Typing Simplified
  14. Altmetric Badge
    Chapter 13 Tabular Expressions and Total Functional Programming
  15. Altmetric Badge
    Chapter 14 Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
  16. Altmetric Badge
    Chapter 15 From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Attention for Chapter 14: Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
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
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
Chapter number 14
Book title
Implementation and Application of Functional Languages
Published by
Springer, Berlin, Heidelberg, September 2007
DOI 10.1007/978-3-540-85373-2_14
Book ISBNs
978-3-54-085372-5, 978-3-54-085373-2
Authors

Marc Feeley

View on publisher site

This page is provided by Altmetric.