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 talk “Productive Coprogramming with Guarded Recursion”
Atkey, B.
(Speaker)
Computer And Information Sciences
Mathematically Structured Programming
Activity
:
Talk or presentation types
›
Invited talk
Period
5 Nov 2015
Held at
Ecole Normale Superieure de Lyon ENS de Lyon
, France
Degree of Recognition
International