Search for tag: "data types"

Wikidata, Wikibase, & a federated ecosystem of knowledge - Dario Taraborelli, Daniel Mietchen

Over the past several years, interest in leveraging Wikidata as an open knowledge base has been growing in areas ranging from cultural heritage institutions and libraries to research and technology…

From  Ewan McAndrew 2 Weeks ago 0 likes 4 views 0  

Wikidata & WikiCite - the Joint Roadmap for Open Science Tools (JROST)

Dario Taraborelli talks about Wikidata and WikiCite at the Summer 2018 workshop for the Joint Roadmap for Open Science Tools: https://www.wikidata.org/ http://wikicite.org/ Slides:…

From  Ewan McAndrew 2 Weeks ago 0 likes 3 views 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 2 Months ago 0 likes 5 views 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 2 Months ago 0 likes 8 views 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 2 Months ago 0 likes 7 views 0  

Parameterized Types and Polymorphism

Advances in Programming Languages 2018/19 Lecture 3: Parameterized Types and Polymorphism This lecture explores parameterized types in different programming languages: families of data types with a…

From  Ian Stark 2 Months ago 0 likes 7 views 0  

Terms and Types

Advances in Programming Languages 2018/19 Lecture 2: Terms and Types This lecture introduces the first technical topic for the course of types in programming languages: some of the ways they are…

From  Ian Stark 2 Months ago 0 likes 10 views 0  

Case study: Prof Richard Baldock (Life science research)

Professor Richard Baldock speaks about his experience of managing research data and accessing support from the University of Edinburgh Research Data Service.

From  Pauline Ward 3 Months ago 0 likes 1 views 0  

Case study: Dr Marc Metzger (Climate science)

Dr Marc J. Metzger talks about his experience of managing research data and accessing support from the Research Data Service.

From  Pauline Ward 3 Months ago 0 likes 0 views 0