I&39;m betting on Call-by-Push-Value

Metadata

Source URL:: https://thunderseethe.dev/posts/bet-on-cbpv/
Topics:: #research, #cbpv, #polarized_subtyping


Why call-by-push-value is the best evaluation strategy, and why it's going to take over

Highlights