Now showing items 1-1 of 1

    • Using Haskell to Implement Syntactic Control of Interference 

      Warren, Jared (2008-06-11)
      Interference makes reasoning about imperative programs difficult but it can be controlled syntactically by a language's type system, such as Syntactic Control of Interference (SCI). Haskell is a purely-functional, ...