Dylan Mcdermott Barefoot

Dylan Mcdermott Barefoot / Reasoning about effectful programs and evaluation order.