↓ Skip to main content
What is this page? Embed badge

Functional Programming Languages and Computer Architecture

Overview of attention for book
Cover of 'Functional Programming Languages and Computer Architecture'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Type classes and overloading resolution via order-sorted unification
  3. Altmetric Badge
    Chapter 2 On the complexity of ML typability with overloading
  4. Altmetric Badge
    Chapter 3 Coercive type isomorphism
  5. Altmetric Badge
    Chapter 4 Compiler-controlled multithreading for lenient parallel languages
  6. Altmetric Badge
    Chapter 5 Multi-thread code generation for dataflow architectures from non-strict programs
  7. Altmetric Badge
    Chapter 6 GAML: A parallel implementation of lazy ML
  8. Altmetric Badge
    Chapter 7 Functional programming with bananas, lenses, envelopes and barbed wire
  9. Altmetric Badge
    Chapter 8 A strongly-typed self-applicable partial evaluator
  10. Altmetric Badge
    Chapter 9 Automatic online partial evaluation
  11. Altmetric Badge
    Chapter 10 Assignments for applicative languages
  12. Altmetric Badge
    Chapter 11 Linearity and laziness
  13. Altmetric Badge
    Chapter 12 Syntactic detection of single-threading using continuations
  14. Altmetric Badge
    Chapter 13 A projection model of types
  15. Altmetric Badge
    Chapter 14 What is an efficient implementation of the λ-calculus?
  16. Altmetric Badge
    Chapter 15 Outline of a proof theory of parametricity
  17. Altmetric Badge
    Chapter 16 Reasoning about simple and exhaustive demand in higher-order lazy languages
  18. Altmetric Badge
    Chapter 17 Strictness analysis in logical form
  19. Altmetric Badge
    Chapter 18 A note on abstract interpretation of polymorphic functions
  20. Altmetric Badge
    Chapter 19 Incremental polymorphism
  21. Altmetric Badge
    Chapter 20 Dynamics in ML
  22. Altmetric Badge
    Chapter 21 Implementing regular tree expressions
  23. Altmetric Badge
    Chapter 22 Efficient type inference for higher-order binding-time analysis
  24. Altmetric Badge
    Chapter 23 Finiteness analysis
  25. Altmetric Badge
    Chapter 24 For a better support of static data flow
  26. Altmetric Badge
    Chapter 25 An architectural technique for cache-level garbage collection
  27. Altmetric Badge
    Chapter 26 M-structures: Extending a parallel, non-strict, functional language with state
  28. Altmetric Badge
    Chapter 27 List comprehensions in agna, a parallel persistent object system
  29. Altmetric Badge
    Chapter 28 Generating efficient code for lazy functional languages
  30. Altmetric Badge
    Chapter 29 Making abstract machines less abstract
  31. Altmetric Badge
    Chapter 30 Unboxed values as first class citizens in a non-strict functional language
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
45 X users
facebook
2 Facebook pages
wikipedia
2 Wikipedia pages
googleplus
1 Google+ user

Citations

dimensions_citation
13 Dimensions

Readers on

mendeley
7 Mendeley
citeulike
1 CiteULike
Summary X Facebook Wikipedia Google+ Dimensions citations

This page is provided by Altmetric.