|
|
Controversies in the Data Society 2019Dr Maria Wolters, Reader in Design Informatics, Academic Associate of the School of PPLS. Give me your data, and I will diagnose you.Dr Lukas Englemann,…
Licence Type
Creative Commons - Attribution Non Commercial No Derivatives Language
English Date Created
01/03/2019
|
|
|
Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
05/11/2018
|
|
|
An introduction to Creative Informatics from Chris Speed and Laura Simpson ECA Staff Forum channel on Media Hopper: https://edin.ac/2LgP9i8 ECA Staff Forum on the ECA intranet (SharePoint):…
Publisher
Edinburgh College of Art Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
27/02/2019
|
|
|
Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
29/10/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
25/10/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 11: Cautionary Tales in Concurrency This lecture concluded the set on concurrency with three distinctive challenges for concurrent programming and…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
22/10/2018
|
|
|
Advances in Programming Languages 2016/17 Lecture 10: Other Programming-Language Approaches to Concurrency The recording of APL 2018/19 Lecture 10 did not work properly — there is no audio,…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
18/10/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 9: Concurrency Abstractions This lecture reviews the built-in Java concurrency primitives from Lecture 8 and introduces some patterns that can help…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
15/10/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 8: Concurrency Moving on from type systems, this lecture starts to look at
programming for concurrency: why you might want — or need —…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
|
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…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
08/10/2018
|
|
|
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…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
04/10/2018
|
|
|
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,…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
01/10/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 4: Coursework Assignment Topics The written assignment for APL involves choosing a programming-language topic from a short list, researching the…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
27/09/2018
|
|
|
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…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
24/09/2018
|
|
|
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…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
20/09/2018
|
|
|
Advances in Programming Languages 2018/19 Lecture 1: What's So Important About Language? This opening lecture covers some background context for the course, with ideas about what makes existing…
Course Code
INFR11101 Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
17/09/2018
|
