Skip to content

Latest commit

 

History

History
21 lines (15 loc) · 838 Bytes

README.md

File metadata and controls

21 lines (15 loc) · 838 Bytes
Raw

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.