randomized algorithms appear in this scenario as a very useful tool in order to obtain easier implementations within a good expected time bound.
To achieve good performance from lazy implementations, it proved necessary to apply strictness annotations to certain commonly-used data structures.
Arbitrary precision integer arithmetic is provided by some implementations of the language.
assisting with specific LT implementations.
The research program will address the following specific topics: The sources of undetectable failures in the GNSS implementations available, including augmentation.