A Theory of Composing Protocols (2023)(programming-journal.org)88 points by mpweiher 2 years ago | 14 comments
The Design Principles of the Elixir Type System(programming-journal.org)34 points by mpweiher 2 years ago | 9 comments
Broadening the View of Live Programmers(programming-journal.org)3 points by mpweiher 2 years ago | 0 comments
API-Driven Program Synthesis for Testing Static Typing Implementations(arxiv.org)26 points by luu 2 years ago | 1 comments
Reactive Programming Without Functions(programming-journal.org)56 points by mpweiher 2 years ago | 12 comments
