Institution
Tallinn University of Technology
Education•Tallinn, Estonia•
About: Tallinn University of Technology is a education organization based out in Tallinn, Estonia. It is known for research contribution in the topics: European union & Computer science. The organization has 3688 authors who have published 10313 publications receiving 145058 citations. The organization is also known as: Tallinn Technical University & Tallinna Tehnikaülikool.
Topics: European union, Computer science, Oil shale, Nonlinear system, Thin film
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this paper, a small fraction of the grown powders were used as absorber materials in monograin layer solar cells: graphite/Cu2ZnSn(Se 1� xSx)4/CdS/ZnO.
57 citations
••
TL;DR: The contribution of autonomous underwater gliders as an observing platform in the in-situ global ocean observing system (GOOS) is investigated in this paper, where the gliders' capabilities are evaluated in the context of key applications.
57 citations
••
TL;DR: In this article, the variability of solar radiation in the minute-long time range was studied and the distribution functions were found to be a superposition of two exponential functions with different exponents, which depend on the magnitude of the radiation increments.
56 citations
••
TL;DR: In this paper, an analysis of 81 Kr and noble gases on groundwater from the deepest aquifer system of the Baltic Artesian Basin (BAB) was performed to determine groundwater ages and uncover the flow dynamics of the system on a timescale of several hundred thousand years.
56 citations
••
04 Sep 2016
TL;DR: A new general calculus with a combined effect-coeffect system that can describe both the changes and requirements that a program has on its context, as well as interactions between these effectful and coeffectful features of computation.
Abstract: Effects and coeffects are two general, complementary aspects of program behaviour. They roughly correspond to computations which change the execution context (effects) versus computations which make demands on the context (coeffects). Effectful features include partiality, non-determinism, input-output, state, and exceptions. Coeffectful features include resource demands, variable access, notions of linearity, and data input requirements. The effectful or coeffectful behaviour of a program can be captured and described via type-based analyses, with fine grained information provided by monoidal effect annotations and semiring coeffects. Various recent work has proposed models for such typed calculi in terms of graded (strong) monads for effects and graded (monoidal) comonads for coeffects. Effects and coeffects have been studied separately so far, but in practice many computations are both effectful and coeffectful, e.g., possibly throwing exceptions but with resource requirements. To remedy this, we introduce a new general calculus with a combined effect-coeffect system. This can describe both the changes and requirements that a program has on its context, as well as interactions between these effectful and coeffectful features of computation. The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws. This graded semantics unifies the syntactic type theory with the denotational model. We show that our calculus can be instantiated to describe in a natural way various different kinds of interaction between a program and its evaluation context.
56 citations
Authors
Showing all 3757 results
Name | H-index | Papers | Citations |
---|---|---|---|
James Chapman | 82 | 483 | 36468 |
Alexandre Alexakis | 67 | 540 | 17247 |
Bernard Waeber | 56 | 370 | 35335 |
Peter A. Andrekson | 54 | 573 | 12042 |
Charles S. Peirce | 51 | 167 | 11998 |
Lars M. Blank | 49 | 301 | 8011 |
Fushuan Wen | 49 | 465 | 9189 |
Mati Karelson | 48 | 207 | 10210 |
Ago Samoson | 46 | 119 | 8807 |
Zebo Peng | 45 | 359 | 7312 |
Petru Eles | 44 | 300 | 6749 |
Vijai Kumar Gupta | 43 | 301 | 6901 |
Eero Vasar | 43 | 263 | 6930 |
Rik Ossenkoppele | 42 | 192 | 6839 |
Tõnis Timmusk | 41 | 105 | 11056 |