2 ms·
There's an upcoming talk by Philip Wadler on this paper on June 8 - http://chalmersfp.org/ http://chalmersfp.org/ YouTube channel where the talk will be stream
by journeeman 6y ago
There's an upcoming talk by Philip Wadler on this paper on June 8 - http://chalmersfp.org/ http://chalmersfp.org/
YouTube channel where the talk will be streamed live - https://www.youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ https://www.youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ