| | "Am I the only one still wondering what is the deal with linear types?" – Jon S (jonmsterling.com) |
| 4 points by matt_d 7 days ago | past | discuss |
|
| | Project Pterodactyl: Incremental Architecture (jonmsterling.com) |
| 1 point by matt_d 12 days ago | past | discuss |
|
| | Disentangling unification and implicit coercion (subtyping interaction problem) (jonmsterling.com) |
| 2 points by matt_d 23 days ago | past |
|
| | The content-addressed storage (CAS) model of incremental build systems (jonmsterling.com) |
| 1 point by matt_d 3 months ago | past |
|
| | Fuss-Free Universe Hierarchies (jonmsterling.com) |
| 1 point by matt_d 4 months ago | past |
|
| | Labelled preorders and coercions: different approaches to multiple inheritance (jonmsterling.com) |
| 2 points by matt_d 4 months ago | past |
|
| | Dependent Types: Universes, or types of types (jonmsterling.com) |
| 41 points by matt_d 5 months ago | past | 2 comments |
|
| | 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 |
|
