Cause and Effect: Type Systems for Effects and Dependencies (2005)

by Geoffrey Washburn
Citations:3 - 0 self