We describe a design for generics in Go inspired by previous work on
Fea...
Monads are a useful tool for structuring effectful features of computati...
Process calculi based in logic, such as πDILL and CP, provide a
foundati...
Session types are a rich type discipline, based on linear types, that li...
We introduce Refinement Reflection, a new framework for building SMT-bas...
share