discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Extended version of the paper "Lightweight Higher-Kinded Polymorphism" by Yallop & White
https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
3 comments
28/12/2021
ocaml