1
comments
My to-watch list:
- Modular Models of Monoids with Operations
- HasChor: Functional Choreographic Programming for All (Functional Pearl)
- More Fixpoints! (Functional Pearl)
- Timely Computation
- Embedding by Unembedding
- A well-known representation of monoids and its application to the function ‘vect...
- Modal FRP for all: Functional reactive programming without space leaks in Haskel...
- Explicit Refinement Types
- FP²: Fully in-Place Functional Programming
- Calculating Compilers for Concurrency
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr...
1 0 Reply