Exploring programming languages at Philip Wadler’s Distinguished Lecture. From Ancient Greece to modern cryptography
Wearing a khaki suit and a Panama hat, Philip Wadler meets his audience for the Distinguished Lecture (Programming Languages) in Agda = Programming (Languages in Agda), organized within the scope of the BIG ERA Chair Project. This time, we got the explorer’s look. For other…
Distinguished Lecture, Highlights, News
Upcoming Events
No event found!