News for hackers. Stuff that matters.

A comment on Where Do Type Systems Come From?. Parent comment

Re:Where Do Type Systems Come From? by alimw on Friday July 07, 2017 @07:15PM (#14722972)
Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...
[ Parent | on HN ]

There are no comments on this comment yet.