↓ Skip to main content

Types for Proofs and Programs

Overview of attention for book
Cover of 'Types for Proofs and Programs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Modular Hierarchy of Logical Frameworks
  3. Altmetric Badge
    Chapter 2 Tailoring Filter Models
  4. Altmetric Badge
    Chapter 3 Locales and Locale Expressions in Isabelle/Isar
  5. Altmetric Badge
    Chapter 4 Introduction to PAF!, a Proof Assistant for ML Programs Verification
  6. Altmetric Badge
    Chapter 5 A Constructive Proof of Higman’s Lemma in Isabelle
  7. Altmetric Badge
    Chapter 6 A Core Calculus of Higher-Order Mixins and Classes
  8. Altmetric Badge
    Chapter 7 Type Inference for Nested Self Types
  9. Altmetric Badge
    Chapter 8 Inductive Families Need Not Store Their Indices
  10. Altmetric Badge
    Chapter 9 Modules in Coq Are and Will Be Correct
  11. Altmetric Badge
    Chapter 10 Rewriting Calculus with Fixpoints: Untyped and First-Order Systems
  12. Altmetric Badge
    Chapter 11 First-Order Reasoning in the Calculus of Inductive Constructions
  13. Altmetric Badge
    Chapter 12 Higher-Order Linear Ramified Recurrence
  14. Altmetric Badge
    Chapter 13 Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus
  15. Altmetric Badge
    Chapter 14 Wellfounded Trees and Dependent Polynomial Functors
  16. Altmetric Badge
    Chapter 15 Classical Proofs, Typed Processes, and Intersection Types
  17. Altmetric Badge
    Chapter 16 “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models
  18. Altmetric Badge
    Chapter 17 Coercions in Hindley-Milner Systems
  19. Altmetric Badge
    Chapter 18 Combining Incoherent Coercions for Σ -Types
  20. Altmetric Badge
    Chapter 19 Induction and Co-induction in Sequent Calculus
  21. Altmetric Badge
    Chapter 20 QArith: Coq Formalisation of Lazy Rational Arithmetic
  22. Altmetric Badge
    Chapter 21 Mobility Types in Coq
  23. Altmetric Badge
    Chapter 22 Some Algebraic Structures in Lambda-Calculus with Inductive Types
  24. Altmetric Badge
    Chapter 23 A Concurrent Logical Framework: The Propositional Fragment
  25. Altmetric Badge
    Chapter 24 Formal Proof Sketches
  26. Altmetric Badge
    Chapter 25 Applied Type System
Attention for Chapter 25: Applied Type System
Altmetric Badge

Mentioned by

twitter
2 X users

Readers on

mendeley
17 Mendeley
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
Applied Type System
Chapter number 25
Book title
Types for Proofs and Programs
Published in
Lecture notes in computer science, April 2003
DOI 10.1007/978-3-540-24849-1_25
Book ISBNs
978-3-54-022164-7, 978-3-54-024849-1
Authors

Hongwei Xi

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 6%
Unknown 16 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 24%
Other 1 6%
Unknown 12 71%
Readers by discipline Count As %
Computer Science 4 24%
Agricultural and Biological Sciences 1 6%
Unknown 12 71%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 2. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 06 April 2015.
All research outputs
#13,411,291
of 22,760,687 outputs
Outputs from Lecture notes in computer science
#3,990
of 8,125 outputs
Outputs of similar age
#44,511
of 50,212 outputs
Outputs of similar age from Lecture notes in computer science
#16
of 19 outputs
Altmetric has tracked 22,760,687 research outputs across all sources so far. This one is in the 39th percentile – i.e., 39% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,125 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 49th percentile – i.e., 49% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 50,212 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 11th percentile – i.e., 11% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 19 others from the same source and published within six weeks on either side of this one. This one is in the 15th percentile – i.e., 15% of its contemporaries scored the same or lower than it.