Garg, Deepak Pfenning, Frank Type-Directed Concurrency Computer Science Department computer sciences 2013-06-01
    https://kilthub.cmu.edu/articles/journal_contribution/Type-Directed_Concurrency/6611189
10.1184/R1/6611189.v1