CoChat
Sign Up
Cited by 68Logic, programming, and type systemsSyntax, Semantics, Linguistic VariationTeaching and Learning Programming

The DOI matches its Crossref record.

Fun with phantom types

Hinze, Ralf·2003·The Fun of Programming
DOI 10.1007/978-1-349-91518-7_12
Open this paper in CoChat — free account

Overview

Integrity signals

Registry

Crossref · 10.1007/978-1-349-91518-7_12

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cited by

Sorted by citations

Metadata

Authors
Hinze, R.
Affiliations
University of Bonn (DE)
Corresponding author
Hinze, Ralf
ORCID
Hinze, Ralf
Venue
The Fun of Programming
Publisher
Macmillan Education UK
Published
2003
Pages
245-262
DOI
10.1007/978-1-349-91518-7_12
OpenAlex
W1897069414
Cited by
68
References
0
Citations by year
2025: 1 · 2024: 1 · 2023: 1 · 2022: 3 · 2020: 1 · 2019: 1 · 2018: 2 · 2017: 2 · 2016: 2 · 2015: 1 · 2013: 7 · 2012: 5
FWCI
11.25
Type
book chapter
Language
en
Open access
closed
Licence
www.springer.com/tdm (unspecified)
Topics
  • Physical Sciences › Computer Science › Software › Logic, programming, and type systems
  • Social Sciences › Arts and Humanities › Language and Linguistics › Syntax, Semantics, Linguistic Variation
  • Physical Sciences › Computer Science › Computer Science Applications › Teaching and Learning Programming
Keywords
type systems, type safety

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review