Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism (2002)

by Nobuko Yoshida
Citations:8 - 5 self