PL Education in the Age of AI: Interview with Shriram Krishnamurthi typetheoryforall.com· lo · ▲ 0 points · Sep 7, 2026 typetheoryforall.com PL Education in the Age of AI: Interview with Shriram Krishnamurthi Type Theory much beyond inference rules
0 comments
No comments yet.