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

Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Overview of attention for book
Cover of 'Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Some History of Functional Programming Languages
  3. Altmetric Badge
    Chapter 2 Combining Deep and Shallow Embedding for EDSL
  4. Altmetric Badge
    Chapter 3 The Blame Theorem for a Linear Lambda Calculus with Type Dynamic
  5. Altmetric Badge
    Chapter 4 Higher-Order Size Checking without Subtyping
  6. Altmetric Badge
    Chapter 5 Well-Typed Islands Parse Faster
  7. Altmetric Badge
    Chapter 6 Higher-Order Strictness Typing
  8. Altmetric Badge
    Chapter 7 Call-by-Value Semantics for Mutually Recursive First-Class Modules
  9. Altmetric Badge
    Chapter 8 The Design of a Practical Proof Checker for a Lazy Functional Language
  10. Altmetric Badge
    Chapter 9 Towards a Framework for Building Formally Verified Supercompilers in Coq
  11. Altmetric Badge
    Chapter 10 Matching Problem for Regular Expressions with Variables
  12. Altmetric Badge
    Chapter 11 OCaml-Java: OCaml on the JVM
  13. Altmetric Badge
    Chapter 12 The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming
  14. Altmetric Badge
    Chapter 13 Lingua Franca of Functional Programming (FP)
  15. Altmetric Badge
    Chapter 14 Haskell Gets Argumentative
  16. Altmetric Badge
    Chapter 15 Repeating History: Execution Replay for Parallel Haskell Programs
  17. Altmetric Badge
    Chapter 16 Supervised Workpools for Reliable Massively Parallel Computing
  18. Altmetric Badge
    Chapter 17 RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software
  19. Altmetric Badge
    Chapter 18 Towards Heterogeneous Computing without Heterogeneous Programming
  20. Altmetric Badge
    Chapter 19 On Using Erlang for Parallelization
Attention for Chapter 4: Higher-Order Size Checking without Subtyping
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Higher-Order Size Checking without Subtyping
Chapter number 4
Book title
Trends in Functional Programming
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-40447-4_4
Book ISBNs
978-3-64-240446-7, 978-3-64-240447-4
Authors

Attila Góbi, Olha Shkaravska, Marko van Eekelen, Góbi, Attila, Shkaravska, Olha, van Eekelen, Marko

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 100%
Readers by discipline Count As %
Engineering 1 100%

This page is provided by Altmetric.