Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

First Page		Document Content
Date: 2018-03-25 20:15:13		Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR Add to Reading List Source URL: danelahman.github.io Download Document from Source Website File Size: 661,20 KB Share Document on Facebook