A Theory of Composing Protocols (2023)(programming-journal.org)88 points by mpweiher 2 years ago | 14 comments
Broadening the View of Live Programmers(programming-journal.org)3 points by mpweiher 2 years ago | 0 comments
Reactive Programming Without Functions(programming-journal.org)56 points by mpweiher 2 years ago | 12 comments
The State of Coherence in the Land of Type Classes(programming-journal.org)18 points by mpweiher 1 year ago | 2 comments
Lazier Binary Decision Diagrams for set-theoretic types(elixir-lang.org)39 points by tvda 10 months ago | 5 comments
