Search for tag: "fusional 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 2 Months ago 0 likes 37 views 0  

El-Rebozo-de-mi-Madre_EnglishSubs

60 minute documentary Mexico 2006

From  Itandehui Jansen 2 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 3 Months ago 0 likes 25 views 0  

Go Abroad - Benefits of International Opportunities - Thomas Ozers

There's a lot of benefit to taking the opportunity to Go Abroad during your studies.Thomas Ozers tells us all about why taking the chance is good for our ongoing development.

From  Colin McLean 3 Months ago 0 likes 56 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 3 Months ago 0 likes 21 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 4 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 8 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 8 Months ago 0 likes 11 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 8 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 8 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 9 Months ago 0 likes 7 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 9 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 9 Months ago 0 likes 6 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 9 Months ago 0 likes 17 views 0