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
Towards Being Positively Negative about Dependent Types
de Muijnck-Hughes, J.
(Speaker)
Computer And Information Sciences
StrathCyber
SICSA
Mathematically Structured Programming
Activity
:
Talk or Presentation
›
Oral presentation
Period
4 Jun 2025
Event title
Scottish Programming Languages Seminar - June 2025
Event type
Workshop
Location
Edinburgh, United Kingdom
Show on map
Related content
Activities
Towards Being Positively Negative about Dependent Types
Activity
:
Talk or Presentation
›
Oral presentation
X