The Hashgraph consensus algorithm is an algorithm for asynchronous Byzan...
Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declar...
Existing source-code-generating tools such as Lex and Yacc suffer from
p...
Type-preserving (or typed) compilation uses typing derivations to certif...