Rövidített megjelenítés

dc.creatorCsörnyei Zoltánen_EN
dc.date2014-04-30en_EN
dc.date.accessioned2019-08-08T10:10:59Z
dc.date.available2019-08-08T10:10:59Z
dc.identifierISBN 978-963-284-441-1en_EN
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/3750
dc.descriptionLearning outcomes: type system F1, Base types in type system F1, Subtypes and type inference, Hindley–Milner type inference, Recursion Types and subtypes in the type system F2, Recursive type, existential type, Linear type system, Milner–Mycroft type inferenceen_EN
dc.formatapplication/epub+zipen_EN
dc.formatapplication/pdfen_EN
dc.languageenen_EN
dc.publisherEötvös Loránd University Faculty of Informaticsen_EN
dc.rightsCsörnyei Zoltánen_EN
dc.rightsEötvös Loránd University Faculty of Informaticsen_EN
dc.subjecttype systemen_EN
dc.subjectCurry type systemen_EN
dc.subjectHindley–Milner type inferenceen_EN
dc.subjectsubtypes and type inferenceen_EN
dc.subjectMilner–Mycroft type inferenceen_EN
dc.titleType Theoryen_EN
dc.typeTankönyven_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.oecd01. Natural sciences::01.01. Mathematics::01.01.01. Pure mathematics, applied mathematicsen_EN
dtk.oecd01. Natural sciences::01.02. Computer and information sciencesen_EN
dtk.playerepubreaderen_EN
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0052 Eötvös Loránd Tudományegyetemen_EN
dtk.size293 p.en_EN
dtk.typebooken_EN
dtk.udc---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::005 Management::51 Mathematics::519.8 Operational research (OR): mathematical theories and methods::519.85 Mathematical programmingen_EN


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés