Amin Timany - POPL 2018

Registered user since Wed 24 Aug 2016

Name:Amin Timany

Country:Belgium

Affiliation:imec-Distrinet KU-Leuven

Research interests:Programming Languages, Proof Assistants

Contributions

POPL 2018	A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST
Show activities from other conferences