Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)

Activity: Lecture / PresentationAcademic

Period1 Sep 2014
Event titleConference ICFP'14
Event typeConference