Hacker Newsnew | comments | show | ask | jobs | submit | jonsterling's submissions login
1.
JonPRL Tutorial – Proof Assistant for Computational Type Theory (bitbucket.org)
2 points by jonsterling 59 days ago
2.
Type Theory Podcast #3: Dan Licata on Homotopy Type Theory (typetheorypodcast.com)
1 point by jonsterling 239 days ago
3.
Type Theory Podcast #1: Peter Dybjer on types and testing (typetheorypodcast.com)
3 points by jonsterling 386 days ago
4.
Proving Type Inequality in C++ (jonmsterling.com)
1 point by jonsterling 935 days ago
5.
Flexibly-Phased Constraints in Haskell (jonmsterling.com)
1 point by jonsterling 1138 days ago
6.
Expressing Church Pairs with Types (jonmsterling.com)
1 point by jonsterling 1320 days ago
7.
Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com)
1 point by jonsterling 1320 days ago

Applications are open for YC Winter 2016

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

Search: