Filters








3 Hits in 6.2 sec

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

JONATHAN IMMANUEL BRACHTHÄUSER, PHILIPP SCHUSTER, KLAUS OSTERMANN
2020 Journal of functional programming  
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

Verifying a Minimalist Reverse-Mode AD Library [article]

Paulo Emílio de Vilhena, François Pottier
2021 arXiv   pre-print
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

Domain-specific languages for modeling and simulation

Tom Warnke
2020
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