- 6th
- 00:54
Lambda Calculus with Explicit Read-back
18:23Call-by-name, call-by-value and the λ-calculus
- 2 comments
Entry tags:
- 10th
- 14:08
Continuation passing style Free Monads and direct style Free Monads
- 2 comments
Entry tags:
- 16th
- 22:46
Categorifying Computations into Componentsvia Arrows as Profunctors
Entry tags:
22:49Effect Handlers in Scope
Entry tags:
- 17th
- 21:47
Having an Effect by Oleg Kiselyov
21:52Effects Without Monads: Non-determinism (Back to the Meta Language)
- 4 comments
- 21st
- 14:29
Dependent Types & Type Level Programming (Scala)
- 2 comments
- 22nd
- 09:15
Open union (Scala 2)
- 5 comments
Entry tags:
- 23rd
- 01:43
Extensible Effects in Dotty
- 1 comment
Entry tags:
- 28th
- 00:11
Effects bibliography
Entry tags:
00:16idiomatic effect handlers in Scala
- 1 comment
Entry tags: