Search
Community Picks
home
/
CS
/ tTZFKkyJEtw
Carlo Angiuli: Dependently Sorted Syntax and its Semantics
Schmid College, Chapman University
■
Computer Science
Watch on YouTube ↗
first found Oct 17, 2026 · last mentioned Oct 17, 2026
6
community score
1
mentions
1
discussions
1
sharers
1
days active
1
story points
sum of linked stories
Hacker News discussions
1 independent thread
Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video]
▲ 1 points
story by matt_d
Oct 17, 2026
Read on HN ↗
Home
Browse
Search
About
