computer science

Multiprocessor synchronization is a notoriously tricky subject matter. Unlike with a single thread of execution, in a shared-resource system, where resources are shared among multiple independent processors, we must think very hard about how the critical sections where such shared resources are accessed.

Class of homomorphic monads that extend algebraic data types in some well-defined way for faciliating faster or more accurate calculations, such as the logarithm trick.