Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)

Activity: Lecture / PresentationAcademic

Period1 Sep 2014
Held atConference ICFP'14
Event typeConference