Search for tag: "data types"

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

Case study: Dr Bert Remijsen (Linguistics)

Dr Bert Remijsen talking about his experience of managing research data and accessing support from the University of Edinburgh Research Data Service.

From  Pauline Ward A month ago 0 likes 1 views 0  

How making a Data Management Plan can help you

Users of the Research Data Service speak about how making a Data Management Plan using DMPonline has helped them.

From  Pauline Ward A month ago 0 likes 3 views 0  

Dr Torgny Roxå

Strong and weak ties – changing teaching cultures in higher education in programme Torgny Roxå Lund University, Sweden Learning & Teaching Conference 2018

computer sciencetrainingeffectsinterestingidentityeducation theoryschool terminologyhuman geographypolitical philosophycontrol theorypedagogycountries in europephilosophical terminologybehaviorconferencesnovels first published in serial formmanufacturingdecision theoryteachersociology of cultureforms of governmentsystems theoryuniversitycommunicationconstructionnetworksculturesemanticscultural anthropologypropertypsychologytheoretical computer scienceeducational psychologyliteraturelabour lawg20 nationscitiesacademicacademiamicroculturecognitive sciencecultural conventionsartificial intelligencetypes of organizationhippie movementeducational stagesorganizationinformation sciencestrong tiesstudentsresearch methodsnorthern europeteachingpublic relationscognitive psychologylinguisticsintelligencemanagementstudentinvestmenthuman rightsindividualpragmaticsacademic administrationindividualismhigher educationsocial groupssocial networking servicestruthpolitical science termsinstitutesconversationthingclubs and societiesdisciplinelearningbiologygovernmentinterpersonal relationshipsschool typesliberal democraciessocietylogicpeoplemotivationplaceorgansgermanic countries and territorieseducationwritingcreativitybusinesslanguagehumanitiesconstitutional monarchiescyberneticsanimal anatomypersonhoodinternet terminologysystems sciencedepartmentfamilyresponsibilitycommunityfictionconferenceconcepts in physicsanthropologistspeer recognitionpersonal developmentswedish wordsociology indexcolleaguetypes of university or collegeemotionapplied linguisticseconomic anthropologyhuman behaviorweak tiespublic commonslearning and teaching conference 2018education terminologypolitical terminology
From  Paolo Drusi 3 Months ago 0 likes 46 views 0