The Invariable Difference
Attila Mihaly · A journal of programming languages, models, and adjacent ideas
Archive · 19 entries · 2010 — 2026

The complete index

dispatches in reverse chronological order

By year By topic Total: 13,495 tokens read
26
2026 · 1 entry
Nº 028 Who Owns Your Knowledge? Essay 1,547 tok
19
2019 · 1 entry
Identity vs. Equality in Java Archive 937 tok
17
2017 · 3 entries
Introducing Continuous Programming Archive 272 tok
Breaking the Rewrite Cycle Through Logic Modeling Archive 479 tok
Is there anything beyond UML? Archive 278 tok
16
2016 · 1 entry
What is a Unit Type? Archive 546 tok
15
2015 · 4 entries
Scaling People Archive 557 tok
A Unified Model for Types and Values Archive 663 tok
A Unified Model for Data and Logic Archive 1,341 tok
The Road to Lambda Core Archive 608 tok
14
2014 · 3 entries
Programming at its Core Archive 1,103 tok
Break Down Those Boundaries! Archive 698 tok
Sets vs Types Archive 1,069 tok
13
2013 · 3 entries
Multiplicity in a Type System Archive 1,006 tok
Gods of Creation Archive 453 tok
In-memory or not Archive 314 tok
10
2010 · 3 entries
Everything is an Object Archive 297 tok
Let's Face Complexity Archive 646 tok
Over and over again ... Archive 681 tok