Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010

McBride, C. (Invited speaker)

Activity: Talk or presentation typesInvited talk

Description

Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Period2010
Held atOregon Programming Languages Summer School