search

Centril / rfc-effects

Preparing an RFC on effect polymorphism in Rust with focus on 'const'
10 stars 0 forks source link

Paper: 1ML with Special Effects, F-ing Generativity Polymorphism #2

Open Centril opened 6 years ago

Centril commented 6 years ago

https://people.mpi-sws.org/~rossberg/1ml/1ml-effects.pdf