Jul 28, 2014 · In this paper we present scala-workflow, a macro-based extension to the Scala programming language that offers uniform syntax for structuring ...
Type-Directed Language Extension for Effectful Computations. Evgenii ... [24] introduced the type-directed extension to ML for monadic programming. This ...
In this paper we present scala-workflow, a macro-based extension to the Scala programming language that offers uniform syntax for structuring effectful ...
[PDF] Type-directed language extension for effectful computations ...
www.semanticscholar.org › paper
Scala-workflow is presented, a macro-based extension to the Scala programming language that offers uniform syntax for structuring effectful computations ...
Bibliographic details on Type-directed language extension for effectful computations.
Type-directed language extension for effectful computations. E Kotelnikov. Proceedings of the Fifth Annual Scala Workshop, 35-43, 2014. 3, 2014 ; Automated ...
We address this problem by extending Idris's metaprogramming facilities with primitives for describing new type-directed editing fea- tures, making Idris's ...
I work full-time on Lean, an interactive theorem prover based on dependent types that is also a quite nice programming language. In the past, I was the ...
Abstract. Algebraic effect handlers, are recently gaining in popularity as a purely functional approach to modeling effects. In this article, we.
Jul 28, 2014 · Type-directed language extension for effectful computations · Author ... effectful computations in functional programming languages. They ...