Representation of monadic effects in the non-monadic form
Modern programming relies heavily on effects systems. In the context of the development of programming languages, two approaches to understanding effects are distinguished: the first recognizes an effect as a characteristic of a program that affects the execution environment, separating it from a si...
Saved in:
| Date: | 2024 |
|---|---|
| Main Author: | Shevchenko, R.S. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
PROBLEMS IN PROGRAMMING
2024
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/627 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)
by: Shevchenko, R.S., et al.
Published: (2024)
Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)
by: Okonsky, I.V., et al.
Published: (2025)
Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)
by: Rukhlis, K.A., et al.
Published: (2017)
Weak Frobenius monads and Frobenius bimodules
by: Wisbauer, Robert
Published: (2016)
by: Wisbauer, Robert
Published: (2016)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
Regular pairings of functors and weak (co)monads
by: Wisbauer, Robert
Published: (2018)
by: Wisbauer, Robert
Published: (2018)
The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)
by: Kurgaev, A.F.
Published: (2020)
DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)
by: Kolesnyk, V.G.
Published: (2018)
Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)
by: Shevchenko, R.S.
Published: (2018)
TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)
by: Shevchenko, R.S., et al.
Published: (2019)
Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)
by: Sydorov, М.О.
Published: (2019)
Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)
by: Sulema, Y.S., et al.
Published: (2020)
The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)
by: Dyfuchyn, А.Yu.
Published: (2022)
Monads and tensor products
by: T. Radul
Published: (2017)
by: T. Radul
Published: (2017)
Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
Parallel distributed system for social networks streaming data analysis
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Weak Frobenius monads and Frobenius bimodules
by: Wisbauer, R.
Published: (2016)
by: Wisbauer, R.
Published: (2016)
Weak Frobenius monads and Frobenius bimodules
by: R. Wisbauer
Published: (2016)
by: R. Wisbauer
Published: (2016)
Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)
by: Lavrischeva, K.M.
Published: (2015)
Probability measure monad in the category of non-archimedean coarse spaces
by: V. L. Brydun, et al.
Published: (2012)
by: V. L. Brydun, et al.
Published: (2012)
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Regular pairings of functors and weak (co)monads
by: R. Wisbauer
Published: (2013)
by: R. Wisbauer
Published: (2013)
Regular pairings of functors and weak (co)monads
by: Wisbauer, R.
Published: (2013)
by: Wisbauer, R.
Published: (2013)
Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)
by: Rahozin, D.V.
Published: (2020)
To the issue of optimizing cloud computing based on their cost
by: Doroshenko, А.Yu., et al.
Published: (2021)
by: Doroshenko, А.Yu., et al.
Published: (2021)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)
by: Sydorov, N.A., et al.
Published: (2018)
Automated development of a parallel distributed system for streaming data processing
by: Titov, D.S., et al.
Published: (2018)
by: Titov, D.S., et al.
Published: (2018)
Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
by: Doroshenko, А.Yu., et al.
Published: (2017)
by: Doroshenko, А.Yu., et al.
Published: (2017)
The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)
by: Kurgaev, A.F., et al.
Published: (2018)
DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018)
by: Kolesnyk, V.G.
Published: (2018)
Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)
by: Sydorov, N.A.
Published: (2021)
Visegrad Fellowship
Published: (2010)
Published: (2010)
RECOOP Visegrad Scholarship Program
Published: (2011)
Published: (2011)
RECOOP Visegrad Scholarship Program
Published: (2012)
Published: (2012)
Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)
by: Yershov, S.V., et al.
Published: (2018)
Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)
by: Krivonos, Yu.G., et al.
Published: (2015)
Similar Items
-
Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024) -
Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025) -
Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025) -
Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025) -
On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)