John C. Reynolds Death Anniversary

John C. Reynolds died on 28 April, 2013

American computer scientist known for continuations, relational parametricity, separation logic, polymorphic lambda calculus and defunctionalization.