Maximal Sharing in the Lambda Calculus with Letrec

  • C.A. Grabmayer (Speaker)

Activity: Lecture / PresentationAcademic

Period1 Sep 2014
Event titleConference ICFP'14
Event typeConference