Oleg Kiselyov and Chung-chieh Shan. Lightweight Monadic Regions .
Haskell'08.
We present Haskell libraries that statically ensure the safe use of resources such as file handles.
We statically prevent accessing an already closed handle or forgetting to close it. The libraries can be trivially extended to other resources such as database connections and graphic contexts...
Region annotations are part of an expression's inferred type.
Our new Haskell encoding of monadic regions as monad transformers needs no witness terms. It...
Beyond pure Prolog: Power and danger
One of the sections of Oleg Kiselyov's Prolog and Logic Programming page, on Beyond pure Prolog: power and danger, points out (i) term introspection (in the guise of the var/1 predicate) can...
A Monadic Framework for Delimited Continuations
A Monadic Framework for Delimited Continuations (PDF), R. Kent Dybvig, Simon Peyton Jones, Amr Sabry. TR, June 2005. Delimited continuations are more expressive than traditional abortive...
Semi-implicit batched remote code execution as staging
Oleg Kiselyov has just posted another amazing work: Semi-implicit batched remote code execution as staging. Batching several remote-procedure or remote-object operations into one request...
Post new comment