lvars

A collection of prototype LVar implementations, tools, and mechanized semantics.

This is an umbrella repository for work related to LVars. Subdirectories include:

• redex: PLT Redex models of LVar calculi (see README).

• race-detector-interps: an implementation of lambdaLVar extended with a destructive consume operation and a data-race detector for lambdaLVar + consume.

• haskell: LVar libraries for Haskell, based on the monad-par library.