American computer scientist known for continuations, relational parametricity, separation logic, polymorphic lambda calculus and defunctionalization.
John C. Reynolds was born on 1 June, 1935
Today's Events: 26 April
-
Chernobyl Nuclear Power Plant disaster occurs
-
Meteor shower convinces scientists of their existence
-
William Shakespeare baptised
-
World Intellectual Property Day [World Intellectual Property Day]
-
Hal Abelson Birthday
-
Arno Allan Penzias Birthday
-
George Tuska Birthday
-
Armstrong Sperry Death Anniversary
-
Srinivasa Ramanujan Death Anniversary
-
Édouard-Léon Scott de Martinville Death Anniversary