https://futureofcoding.org/ logo
#linking-together
Title
# linking-together
m

Mariano Guerra

09/15/2022, 11:28 AM
The Golden Age of PL Research (it seems we are in it) https://semantic-domain.blogspot.com/2022/09/the-golden-age-of-pl-research.html
n

Nick Smith

09/15/2022, 10:27 PM
The author is way off the mark IMO. Four of his six points are about type systems/verification, which is such a tiny lens through which programming languages & environments can be viewed. But this perspective is commonplace in PL academia.