- 1st
- 10:21 am
Direct models of the computational lambda-calculus
Tags:
01:47 pmStaged Tagless Interpreters in Dotty
- 2 comments
Tags:
- 3rd
- 05:21 am
A / B ! R = (A => B) => R
- 3 comments
Tags:
01:30 pmCapability-Passing Style for Zero-Cost Effect Handlers
Tags:
01:52 pmHelium: programming with abstract algebraic effects
Tags:
01:55 pmEffect Instances via Lexically Scoped Handlers
Tags:
02:06 pmFusion for Free Efficient Algebraic Effect Handlers
Tags:
- 7th
- 08:59 pm
Parameterised Notions of Computation
Tags:
09:15 pmEffect Handlers via Generalised Continuations
Tags:
09:36 pmAlgebras for Parameterised Monads
- 1 comment
Tags:
- 10th
- 01:46 am
Idling with categories
- 3 comments
Tags:
- 25th
- 09:52 am
From delimited CPS to polarisation
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