|
|
| | Build your own Stacks Project in 10 minutes (jonmsterling.com) | |
1 point by mathgenius on Aug 17, 2023 | past
|
|
| | Lecture notes written using TeXmacs [pdf] (jonmsterling.com) | |
3 points by amichail on May 18, 2022 | past
|
|
| | Structural and Contextual Dynamics (jonmsterling.com) | |
3 points by setra on March 28, 2017 | past
|
|
| | Modernized Logic of Computable Functions: The Logic of Goals and Tactics (jonmsterling.com) | |
2 points by pizza on March 27, 2017 | past
|
|
| | Proving Type Inequality in C++ (jonmsterling.com) | |
1 point by jonsterling on Feb 11, 2013 | past
|
|
| | Extensible Records in C++ (jonmsterling.com) | |
4 points by AndreyKarpov on Nov 26, 2012 | past
|
|
| | Flexibly-Phased Constraints in Haskell (jonmsterling.com) | |
1 point by jonsterling on July 23, 2012 | past
|
|
| | Typed Collections with Self Types in Objective-C (jonmsterling.com) | |
2 points by DanielRibeiro on Feb 11, 2012 | past
|
|
| | Expressing Church Pairs with Types (jonmsterling.com) | |
1 point by jonsterling on Jan 23, 2012 | past
|
|
| | Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com) | |
1 point by jonsterling on Jan 23, 2012 | past
|
|
|
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
