Formalised embedding of an imperative language with effect system into session-typed pi calculus.
Agda
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
places15
Basics.agda
Context.agda
Effects.agda
Embedding.agda
NearSemiring.agda
Sessions.agda