New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.PL
2012
Abstract Effects and Proof-Relevant Logical Relations
Nick Benton, Martin Hofmann, Vivek Nigam
cs.PL
2015
Effect-Dependent Transformations for Concurrent Programs
Nick Benton, Martin Hofmann, Vivek Nigam