Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Expresso: A simple expressions language with polymorphic extensible row types. Parent comment
(http://www.nuprl.org/documents/Constable/Automath-35years.pd...)
RECENT RESULTS IN TYPE THEORY AND THEIR RELATIONSHIP TO AUTOMATH, ROBERT L. CONSTABLE
There are no comments on this comment yet.
(http://www.nuprl.org/documents/Constable/Automath-35years.pd...)
RECENT RESULTS IN TYPE THEORY AND THEIR RELATIONSHIP TO AUTOMATH, ROBERT L. CONSTABLE