SoC Dundee
TIAP Edwin Brady - Implementing a Dependently Typed Programming Language
34:20
SoC Dundee
TIAP Katya Komendantskaya - Structural Resolution
38:36
SoC Dundee
TIAP Tom Schrijvers - GADTs Meet Their Match
44:21
SoC Dundee
TIAP Peng Fu - Nontermination in Type Class Inference
26:58
SoC Dundee
TIAP Conor McBride - Type Inference needs Revolution
46:11
SoC Dundee
TIAP Garrett Morris - Substructural Types with Class
28:47
SoC Dundee
TIAP Bob Atkey - An Algebraic Approach to Typechecking and Elaboration
31:14
SoC Dundee
TIAP Adam Gundry - A Typechecker Plugin for Units of Measure
23:48
SoC Dundee
Research Frontiers - Transforming Health with Technology
1:40:20
SoC Dundee
Chronicles
3:01
SoC Dundee
SoC Computing Degree Show 2012 in 2:21
2:21
SoC Dundee
James Bennet describes his Honours Project for SoC Computing Degree Show 2012
1:11
SoC Dundee
Guest from Kufa University at the Dundee University School of Computing
0:49
SoC Dundee
Dr. Nidal EL-Abbadi at Dundee University School of Computing
1:30
SoC Dundee
School of Computing Christmas Lecture in 3D - who moves more :)
1:44
SoC Dundee
School of Computing Christmas Lecture in 3D
0:55
SoC Dundee
Interview with Mr Rolf Black
1:04