January 22, 2014

The Essence of Reynolds

ACM Symposium on Principles of Programming Languages (POPL)

By: Stephen Brookes, Peter O'Hearn, Uday S. Reddy