Search for tag: "types"

Health Data Analytics

Health Data Analytics

From  Dimitrios Doudesis on May 29th, 2020 0 likes 11 plays 0  

The Wicked Findings of the Witchfinder General - Putting Scotland's accused witches on the map using linked open data

The Wicked Findings of the Witchfinder General: Using linked open data to put accused witches on the map. Seminar event hosted by the Edinburgh Centre for Data, Culture and Society on 11 September…

From  Ewan McAndrew on September 12th, 2019 0 likes 72 plays 0  

Prof Agustin Fuentes - Why do we believe_

Prof Agustin Fuentes - Why do we believe_

From  Lesley Middlemass on April 9th, 2019 0 likes 29 plays 0  

Dr Niki Vermeulen, Dr Bill Jenkins and team - Curious Edinburgh

Dr Niki Vermeulen, Dr Bill Jenkins and team - Curious Edinburgh

From  Lesley Middlemass on April 9th, 2019 1 likes 31 plays 0  

Prof. Agustin Fuentes - Who are we_ Belief, evolution, and our place in the world

Prof. Agustin Fuentes - Who are we_ Belief, evolution, and our place in the world

From  Lesley Middlemass on April 9th, 2019 0 likes 14 plays 0  

Welcome - Dr Jeremy Crang

A warm welcome from the Dean of Students in the College of Arts, Humanities and Social Sciences, Dr Jeremy Crang. March 2019.

From  Colin McLean on March 28th, 2019 0 likes 1,146 plays 0  

Sports Union - Paul Duffy

An overview of the Edinburgh University Sports Union from Paul Duffy. President of the Sports Union 2018/19. March 2019.

From  Colin McLean on March 28th, 2019 0 likes 237 plays 0  

Why we still need to talk about diversity in Physics - Dr. Jess Wade

Dr. Jess Wade is a physicist who, alongside being a postdoc researcher at Imperial College London in plastic electronics, campaigns tirelessly to increase diversity in physics. One of Nature's…

From  Ewan McAndrew on January 30th, 2019 2 likes 326 plays 0  

Born in a microbial cloud: gatekeepers of a healthy life. Prof Debby Bogaert

Born in a microbial cloud: gatekeepers of a healthy life. Prof Debby Bogaert Part of the College's inaugural lecture series.Recorded 12 November 2018.Abstract: It was only 350 years ago that the…

From  Peter Crooks on November 13th, 2018 0 likes 98 plays 0  

Dependent Types

Advances in Programming Languages 2018/19 Lecture 7: Dependent Types This lecture completes the quartet of type/term interactions: after first-class functions, parameterized types, and polymorphic…

From  Ian Stark on October 8th, 2018 0 likes 12 plays 0  

Higher Types

Advances in Programming Languages 2018/19 Lecture 6: Higher Types This lecture digs deeper into types for parametric polymorphism, starting with a review of Hindley-Milner systems with…

From  Ian Stark on October 4th, 2018 0 likes 19 plays 0  

Higher Polymorphism

Advances in Programming Languages 2018/19 Lecture 5: Higher Polymorphism This lecture continues from Lecture 3, exploring polymorphism in programming languages with more varieties of polymorphism,…

From  Ian Stark on October 2nd, 2018 0 likes 14 plays 0  

School of Education & Sport International PGT Students: Working in the UK

School of Education & Sport International PGT Students: Working in the UK

From  Lucy Wall on September 28th, 2018 0 likes 49 plays 0