(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

GOTO Conferences - (Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019