Search for tag: "languages"

From cyberpunk to information science via our MA in Japanese Studies

Callum Sarracino, a fourth year student of Japanese, traces his journey from manga fan to speech contest prize winner and a Daiwa Foundation Scholarship.

From  Maire Cox 4 Months ago 0 likes 44 views 0  

El-Rebozo-de-mi-Madre_EnglishSubs

60 minute documentary Mexico 2006

From  Itandehui Jansen 4 Months ago 0 likes 0 views

Dr Shashi Tharoor - Looking Back at the British Raj in India

Dr Shashi Tharoor - Looking Back at the British Raj in India

From  Lesley Middlemass 5 Months ago 0 likes 27 views 0  

DELC Festival of European Theatre

Moa Bell, member of Les Escogriffes French Theatre Society, tells us about the very first DELC Festival of European Theatre: four fantastic language plays over eight nights at Assembly Roxy performed…

From  Maire Cox 6 Months ago 0 likes 22 views 0  

Separation Logic

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…

From  Ian Stark 6 Months ago 0 likes 3 views 0  

Practical Tools for Java Correctness

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…

From  Ian Stark 10 Months ago 0 likes 8 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 10 Months ago 0 likes 12 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 10 Months ago 0 likes 11 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 11 Months ago 0 likes 19 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 11 Months ago 0 likes 9 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 11 Months ago 0 likes 5 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 11 Months ago 0 likes 7 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 11 Months ago 0 likes 17 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 11 Months ago 0 likes 12 views 0  

Coursework Assignment Topics

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…

From  Ian Stark 11 Months ago 0 likes 18 views 0