A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We present the Scala library Effekt, which is centered around capability passing and implemented in terms of a monad for multi-prompt delimited continuations. ... Reusing the existing type system of Scala, we get effect subtyping and effect polymorphism for free. ... Effekt -Effect handlers and capability passing In this paper, we present Effekt: a library for programming with effect handlers in the language Scala. ...doi:10.1017/s0956796820000027 fatcat:hownzrhkkfhhtbrdihyxkki4zy
By exploiting a number of relatively subtle programming language features, including dynamically-allocated mutable state, first-class functions, and effect handlers, reverse-mode automatic differentiation ... We view this result as an advanced exercise in program verification, with potential future applications to more realistic automatic differentiation systems. ... The type system tracks effects through rows of effects and also has support for effect polymorphism. ...arXiv:2112.07292v1 fatcat:a3kexzvubfek7l2ivcqpdkm5nu
This thesis explores the potential of employing DSLs in modeling and simulation. ... We study different DSL design and implementation techniques and illustrate their benefits for expressing simulation models as well as simulation experiments with several examples. ... Acknowledgements I would have never finished this thesis without the support and assistance of many people. First and foremost, I want to thank my supervisor Prof. Lin Uhrmacher. ...doi:10.18453/rosdok_id00002966 fatcat:44xl3g5wbjgs5gvqcz6tqb5osa