- 6th
- 12:54 am
Lambda Calculus with Explicit Read-back
06:23 pmCall-by-name, call-by-value and the λ-calculus
- 2 comments
Tags:
- 10th
- 02:08 pm
Continuation passing style Free Monads and direct style Free Monads
- 2 comments
Tags:
- 16th
- 10:46 pm
Categorifying Computations into Componentsvia Arrows as Profunctors
Tags:
10:49 pmEffect Handlers in Scope
Tags:
- 17th
- 09:47 pm
Having an Effect by Oleg Kiselyov
09:52 pmEffects Without Monads: Non-determinism (Back to the Meta Language)
- 4 comments
- 21st
- 02:29 pm
Dependent Types & Type Level Programming (Scala)
- 2 comments
- 22nd
- 09:15 am
Open union (Scala 2)
- 5 comments
Tags:
- 23rd
- 01:43 am
Extensible Effects in Dotty
- 1 comment
Tags:
- 28th
- 12:11 am
Effects bibliography
Tags:
12:16 amidiomatic effect handlers in Scala
- 1 comment
Tags:
Profile
xacid
Style Credit
- Style: Neutral Good for Practicality by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags