Search for tag: "informativo"

User Experience Training - Information Services

The User Experience Service at the University of Edinburgh runs training for staff involved in the development and management of digital services. Over the course of three days, colleagues from…

From  Neil Allison A month ago 0 likes 9 views 0  

Lecture 13: Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today’s lecture presented two different facilities designed to help write Java code that does the right…

From  Ian Stark A month ago 0 likes 1 views 0  

Specification and Verification

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…

From  Ian Stark A month ago 0 likes 2 views 0  

Cautionary Tales in Concurrency

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…

From  Ian Stark A month ago 0 likes 5 views 0  

Other Programming-Language Approaches to Concurrency

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,…

From  Ian Stark A month ago 0 likes 7 views 0  

User Experience (UX) Service Showcase Events

The User Experience Service runs regular showcase events to share how we're helping a wide range of projects and services get closer to their target audiences. Our work is helping colleagues…

From  Tim Gray A month ago 0 likes 30 views 0  

Concurrency Abstractions

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…

From  Ian Stark A month ago 0 likes 5 views 0  

Concurrency

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 —…

From  Ian Stark 2 Months ago 0 likes 2 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