LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 190-192 of 486
-
The Semantics of Miranda's Algebraic Types
(1987-08)Miranda has two interesting features in its typing system: implicit polymorphism (also known as ML-style polymorphism) and algebraic types. Algebraic types create new types from old and can operate on arbitrary types. This ... -
Finding Minimum-cost Circulations by Canceling Negative Cycles
(1987-07)A classical algorithm for finding a minimum-cost circultaion consists of repeatedly finding a residual cycle of negative cost and canceling it by pushing enough flow around the cycle to saturate an arc. We show that a ...
