Search for tag: "informativo"

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 2 Days ago 0 likes 3 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 3 Days ago 0 likes 1 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 A week ago 0 likes 1 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 A week 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 Weeks ago 0 likes 7 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 2 Weeks ago 0 likes 6 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 3 Weeks ago 0 likes 9 views 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 3 Weeks ago 0 likes 4 views 0