Post #1840432

paper titles from the 1980s are like "Tree Types" and paper titles from the 2020s are like "Glorp: A Sound Embedding of Algebraic Tree Types in a Domain Specific Language for Network Systems". where did we go wrong