» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with compsci + system:filetype:pdf

Foundations for Structured Programming with GADTs

The standard theory of data types as carriers of initial algebras of functors can be extended from algebraic and nested data types to GADTs.

Haskell: del.icio.us tag/haskell

Arrows for Secure Information Flow

Embedded security sublanguage for enforcing information-flow policies in Haskel. Mechanisms include dynamic security lattices, run-time code privileges, declassification.

Haskell: del.icio.us tag/haskell

There and Back Again: Arrows for Invertible Programming

Introduces bidirectional arrows. The bi-arrow class extends arrows with an extra combinator that changes the direction of computation. Specify a conversion in one direction (e.g. parser), and get the inverse (pretty printer) almost for free.

Haskell: del.icio.us tag/haskell

The zipper

Almost every programmer has faced the problem of representing a tree together with a subtree that is the focus of attention, where that focus may move. The Zipper is Huet’s nifty name for a nifty data structure which fulfills this need.

Haskell: del.icio.us tag/haskell