Type Theory for All: Bringing Programming Languages Research Outside Academia | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Type Theory for All: Bringing Programming Languages Research Outside Academia (typetheoryforall.com)
		4 points by azhenley on Dec 29, 2020 \| hide \| past \| favorite \| 1 comment

verdverm on Dec 29, 2020 [–]

Thanks for posting this. I've recently become more interested in the subject via interest in Cue (https://cuelang.org).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact