Search for tag: "programming languages"

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 on March 2nd, 2019 0 likes 7 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 on October 29th, 2018 0 likes 9 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 on October 29th, 2018 0 likes 12 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 on October 22nd, 2018 0 likes 11 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,…

From  Ian Stark on October 18th, 2018 0 likes 23 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 on October 17th, 2018 0 likes 9 plays 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 on October 11th, 2018 0 likes 7 plays 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 on October 8th, 2018 0 likes 9 plays 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 on October 4th, 2018 0 likes 17 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 on October 2nd, 2018 0 likes 13 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 on September 29th, 2018 0 likes 18 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 on September 25th, 2018 0 likes 11 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 on September 22nd, 2018 0 likes 25 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 on September 17th, 2018 0 likes 32 plays 0  

Bilingualism in Minority Languages - Professor Antonella Sorace at the Celtic Knot: Wikipedia Language Conference 2017.

Bilingualism in minority languages: a resource and an opportunity Research on the bilingual mind shows that bilingualism in any languages, regardless of their status, prestige, and worldwide…

consciousnessmajority languageeconomic sectorswikimedia ukpsychological testinganswer questionsgeographylinguisticsbilingualism matterslanguagesthermodynamicsprimary schoolgovernmentlanguage learningbritish capitalseffectslibertarian theorywrong ideasgrammarlanguage acquisitionminority languagesjournalismmotherhoodbenefitconstitutional lawsociology of culturecognitive taskgerontologybilingualslearningminority languageintelligencephilosophical terminologyunsolved problems in neuroscienceinstitutesgeneticspsychologycognitive testolder childrenantonella soracewikipediapolitical philosophyresearchhealthitalian comprehensionvast majoritymultilingualismevaluationbiologyattentioncurriculasmall language wikipediaslatin alphabetontologylanguage mixingcommon lawprestigious kindlanguagebiology terminologyuniversepublic economicschildhoodmilitary ranksearly literacyfamilycommunicationgaelicceltic languagescommunityproblem solvingsociolinguisticsschool terminologyresearch methodsyoung childrencreativityinformation sciencesociology indexceltic knotlanguage policymonolingual childrenregional minority languagesdevelopmental psychologyvalueyouthlearning disabilitiescommon misconceptionshippie movementpedagogybilingual childrencognitive sciencedementiaagingeducationscotlandbilingual childlinguistic rightsattention-deficit hyperactivity disorderbilingualismtypes of organizationlanguages of the united kingdomneuroscienceidentityeducational psychologylegal termscognitive psychologychildrenenglish languagelinguistic measuresmass mediaevaluation methodsprogramming languages
From  Ewan McAndrew on June 28th, 2017 0 likes 170 plays 0