Search for tag: "apl"

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 0 likes 92 plays 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 0 likes 36 plays 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 0 likes 27 plays 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 0 likes 22 plays 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, just…

From  Ian Stark 0 likes 33 plays 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 0 likes 21 plays

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 0 likes 17 plays

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 0 likes 17 plays

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 0 likes 25 plays 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 0 likes 19 plays 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 0 likes 29 plays 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 0 likes 34 plays 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 0 likes 38 plays 0  

What's So Important About Language?

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…

From  Ian Stark 0 likes 54 plays 0