Home

Awesome

This repository contains the proof-of-concept interpreter and data race detector for lambdaLVish described in section 7 of our FHPC '13 paper on LVars. The consume mechanism that we described in the FHPC '13 paper is superseded by freeze, which is described in our POPL '14 paper and implemented in the LVish Haskell library -- so this code is here for historical reasons only.