Hacker Newsnew | comments | show | ask | jobs | submit | jonsterling's submissions login
1.
Type Theory Podcast #3: Dan Licata on Homotopy Type Theory (typetheorypodcast.com)
1 point by jonsterling 136 days ago
2.
Type Theory Podcast #1: Peter Dybjer on types and testing (typetheorypodcast.com)
3 points by jonsterling 284 days ago
3.
Proving Type Inequality in C++ (jonmsterling.com)
1 point by jonsterling 832 days ago
4.
Flexibly-Phased Constraints in Haskell (jonmsterling.com)
1 point by jonsterling 1035 days ago
5.
Expressing Church Pairs with Types (jonmsterling.com)
1 point by jonsterling 1217 days ago
6.
Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com)
1 point by jonsterling 1217 days ago

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: