Search for tag: "ship 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 5 Months ago 0 likes 6 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 5 Months ago 0 likes 10 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 5 Months ago 0 likes 7 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 5 Months ago 0 likes 7 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 6 Months ago 0 likes 10 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 8 Months ago 0 likes 63 views 0  

How to Edit Wikipedia - unabridged version

How to Edit Wikipedia - unabridged version 2018 tutorial including how to navigate your way round a page.

psychological attitudevotrediesebracketsetceterainternet forum terminologypreviewhinzufügenpuedenwritingdiskussionsseiteneffectsdropdownstegocerareviewsourcetenemosspanish-language newspapersfuentedocumentscommunityhighlightingplantillanuevoblog softwarewikipedianpmidearliervandalismopen methodologiesguardianeditinghuman spaceflightwikimedialetterstegosaurusgui widgetsartikelcategoryrevertzusammenfassung"wiederverwendung"specscategoríaresearchincludereferencesclickunderstandcomputer networks"veröffentlichen"fieldssandboxcommonsautomaticutilisateursocial information processingreliableaccountwikipedia-nutzerstegocerasdrop-downkeywordtimestamppersonsinclusionleft-handphilosophical terminologyautomatiquementmodificationsur wikipédiacomputer graphicscetteles articleswikiprojectcolorusuariousernamecluebottitledinosaurserstellenpatrollinghochqualitativenappearinginformativoemailjenkinssubmitveröffentlichtmarketinghighestaccountabilitysocial groupsoptionimagelicencespaceinfobox10editsinformationscheckingpreferencesguidancefilms featuring a best actress goya award winning performancesquirreladdresseswerdehippie movementfacebooknumberreferencewebsitegeneratemass mediasociology of cultureeditorsbullettemplatelicenseuniversitairemillionseitekönnenmusical quartetsvous devriezpeer-reviewedartículoenlaceinsertcommentspublishgadgetcitationlibrary sciencesubjectright-handcaptchacommonautomáticamenteinterestdrop-down-funktionchangehistorycommunicationpouvezeditsnichtmicrosoft officeheadingwikimedia projectscreateacademic publishingeinenteaching with wikipediavirtual communitiesstatementformulaprojectgetting started with wikipedialinkspicturecommentscreenhomeopen educationaddressnotifiedsystemhypertextdiscussionreturndropdown-menütext editorsqualityuniversity-leveldiskussionsseiteinformation sciencedesplegablewikipediaenglish journalistsdirecltyklickenpasswordpáginarequirehabenschwesterprojektimagesahoramovingfrench lawpiledhigheranddeeperhighlightprojectsdata typesexistsedinburghwikiprojectshow to edit wikipediaspacecraft launched by delta ii rocketscontenidoprintingmicroeconomicsdirectdemographytítulosecond-highestsummarywikipédiatitreopen knowledgepiodhigheranddeepertechnical communication toolscontentwikepediacommememberssearchingextraarticlewerdenpersoncatégorieinternet terminologyjournalismsentenceuniversityaccessswitchréférencepeopleles deuxinternetheadingspencileconomics terminologymedia formatsopen content projectscaptureeditorcursorperiodicalscategoriesdéroulantmaintenantcheckacademicpaper productsfilm and video technologytambiénisbnopen contenthand-sidecomputer lawreferenciadoimomentfree content management systemsobesityurlchoosetextual criticismconcepts in physicspersonal lifeinformación
From  Ewan McAndrew 10 Months ago 0 likes 5 views 0  

Learning Technology Showcase March 2018, Part 1

Lecture Technology Showcase (run by the Learning Teaching and Web division of Information Services, University of Edinburgh) of 29th March 2018 on the subject of lecture recording. Part 1. Speakers:…

theatrelegal termsconcepts in physicsillustrationteachingcognitive sciencelibrary sciencevideopersonhoodlearning technologyartspetascaptureeducational stagesmass mediapragmaticssociology of culturepeoplemnemonicsaestheticsrecordingschool terminologyhigher educationinternet slangevaluation methodsdigital audio workstation softwarebroadcastingconsultingnetworksperforming artscomputer graphicsstudenttopologybanking termscomputing input devicesmultimediaedward snowdensystemsdata transmissiongood reasonscience and technology studiespsychologystreamingdidacticsyouthinformation scienceresearchinformation servicesgraphical user interfacesthingindustrial designmusicivdfeedbackeffectsfinancelectureanimal rights movementinternet radioschool typespersonal lifefolkloreresearch methodslandscape architectureshoescontemporary artintroductioninstitutesphilosophyminutecyberneticstalkingtrainingconstitutional lawgraphic designinternetsoundtelecommunicationsprogramlearningddmdesignodlvideotelephonylecture recordingdigital televisioncopyright laweducationmarketingpackagingcommunication designentertainmentweb developmentfilmstagecraftvideo on demand serviceslecture capturemediaphilosophical terminologyonline learningarchitectural designsubmissiondata typeshearinginteractivefilm and video technologyuniversities and collegespedagogytypes of university or collegephotographysystems theorysystems sciencepresentationlegal doctrines and principlessoftware architectureroomsbbcdigital mediaeducational technologymedia studiesconversationeducational psychologyevaluationmedia hopper replaybusiness
From  Brendan Hill 11 Months ago 0 likes 70 views 0