Research
The guarantees a language can express, and what its implementation must do to keep them.
The Replay Lattice
A type system for floating-point reproducibility: a demand carried on a value, checked against its whole dependency history.
The guarantees a language can express, and what its implementation must do to keep them.
A type system for floating-point reproducibility: a demand carried on a value, checked against its whole dependency history.