Show simple item record

dc.contributor.advisorKoltuksuz, Ahmet Hasan
dc.contributor.authorEkici, Burak
dc.date.accessioned2021-05-08T12:08:00Z
dc.date.available2021-05-08T12:08:00Z
dc.date.submitted2012
dc.date.issued2018-08-06
dc.identifier.urihttps://acikbilim.yok.gov.tr/handle/20.500.12812/698909
dc.description.abstractKategori teorisi, cebirsel yapıların evrensel bileşenlerini görselleştirmemizi ve bazı farklı yapıların aralarındaki ilişkileri kurmamızı sağlayan güçlü bir kuramsal çerçeve ve soyut cebirsel dildir. Teori son yıllarda, bilgisayar bilimlerinde alt uygulama alanları bulmuş, özellikle fonksiyonelprogramlama dilleri alanında birc¸ok yenili?gin ortaya çıkmasına katkıda bulunmuştur. Bubağlamda; çalışma, kategori teorisinin fonktörleri, doğal transformasyonları ve monadları ile birlikte gelen soyutlama yeteneğiyle; çözümlerine katkıda bulunduğu ya da alternatif bakış açıları getirdiği problemlerin ve bu problemlerin ait oldukları alt alanların, ?fonksiyonel bir programlama dilinin saflığından, yarı-belirgin paralelizasyon uygulamalarına? kadar, incelenmesini hedeflemektedir.
dc.description.abstractCategory theory is a powerful abstract algebraic language and a conceptual framework that lets us visualize universal components of structures of given types and how those structures of different types are interrelated. In recent years, category theory has found new application areasin theoretical computer science and has contributed to developments of new logical systems, especially in the area of functional programming languages. In that sense, this study aims to indicate the areas to which category theory brings alternative solution methods by increasing the number of abstraction layers together with the usage of its functors, natural transformations and monads varying from ?purity of a functional programming language? to ?semi-explicit parallelization in functional programming?.en_US
dc.languageEnglish
dc.language.isoen
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAttribution 4.0 United Statestr_TR
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectBilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontroltr_TR
dc.subjectComputer Engineering and Computer Science and Controlen_US
dc.titleA parallelization approach to Haskell language through category theoretic implementations
dc.title.alternativeKategori kuramı uygulamaları altında Haskell diline bir paralelizasyon yaklaşımı
dc.typemasterThesis
dc.date.updated2018-08-06
dc.contributor.departmentBilgisayar Mühendisliği Ana Bilim Dalı
dc.subject.ytmParallel computing
dc.subject.ytmCategory
dc.identifier.yokid432216
dc.publisher.instituteFen Bilimleri Enstitüsü
dc.publisher.universityYAŞAR ÜNİVERSİTESİ
dc.identifier.thesisid329410
dc.description.pages189
dc.publisher.disciplineDiğer


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess