Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Types That Count: Journey across Qualitative and Quantitative Intersection Types (unito.it)
3 points by matt_d 6 months ago | past
Five Letters on Set Theory [pdf] (unito.it)
2 points by Smaug123 on Jan 6, 2025 | past | 1 comment
A tale of intersection types [pdf] (unito.it)
1 point by danny00 on Nov 21, 2021 | past
“Behavior Games,” Cognitive Pragmatics [pdf] (unito.it)
1 point by del_operator on April 6, 2018 | past
A Domain-Specific Language for Data Analytics Pipelines [pdf] (unito.it)
2 points by Katydid on May 22, 2017 | past

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

Search: