Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
McBride, C.
(Invited speaker)
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Invited talk
Description
Invited Lecture Courses on Dependently Typed Programming Oregon Programming Languages Summer School, USA, 2010
Period
2010
Held at
Oregon Programming Languages Summer School
X