Search for tag: "programming"

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

Employ.ed for PhDs Case Study - Zoe Stephens

Employ.ed for PhDs Case Study - Zoe Stephens, Change Management Advisor, Estates

From  Lucy Wall 2 Months ago 0 likes 11 views 0