Channels
random-encounters
bot-dark-forest
in-atlanta
in-philadelphia
of-ai
in-san-francisco
in-london
in-ontario
in-seattle
in-southern-california
in-alberta
of-functional-programming
wormholes
in-germany
reading-together
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-new-york
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#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.
Post