Simon Jones

TL;DR: It is concluded that imprecision is essential if the language is still to enjoy its current rich algebra of transformations and the language extended with exceptions without crippling the language or its compilers.

TL;DR: The Dune experiment as discussed by the authors is an international world-class experiment dedicated to addressing these questions as it searches for leptonic charge-parity symmetry violation, stands ready to capture supernova neutrino bursts, and seeks to observe nucleon decay as a signature of a grand unified theory underlying the standard model.

TL;DR: It is demonstrated that paging due to insufficient memory resources can reduce system performance several fold, and it is argued that hardware memory compression can eliminate this paging hence providing a substantial performance improvement.

TL;DR: A set of type inference rules for resolving over-loading introduced by type classes are defined, using second-order lambda calculus to record type information in the program.

TL;DR: This paper adds a few extra "introspective" or "reflective" facilities, that together support a rich variety of serialisation and de-serialisation in generic programming, and generalises the ability to over-ride a generic function with a type-specific one.