Free theorems in the presence of seq

Patricia Johann, J. V. (2004). Free theorems in the presence of seq.

Type

Unclassified

Intellectual base

Unclassified

Year

2004

DOI

10.1145/964001.964010

Link

https://doi.org/10.1145/964001.964010

Cited by

1 citation across 1 artifact.

Domain-specific

• Parametricity
  • … between constitutive identity and a convenient observable transfers from A total function of type forall A. A to A can only return its input under standard pure parametric semantics. to A proof states termination, effects, runtime type inspection and language features that can invalidate the simple theorem..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:b9f22624fe5b · see in the full table