Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland , Gordon Plotkin , John Power
Citations:19 - 4 self