Can we please list major developments in Programming Language Theory Since 2000?
Yesterday I bounced through a whole bunch of web searches about Programming Language Theory ("PLT"). I grabbed several textbook pdfs. Three especially interesting things I discovered from yesterday's searches were:
Could it be true that there is not a new (2000s) university course textbook on PLT (as opposed to the above new edition of a classic)? (But, what about John Guttag's Introduction to Computation and Programming Using Python, Second Edition, MIT Press, 2016?)
The Wikipedia article on Programming Language Theory ends its historical discussion with the 1990s!
Can you please help list major developments in PLT since 2000? What should the list contain?
Are there 2000 era university course textbooks on PLT?
Thanks in advance!