Call by Push Value

Creator

Creator

Seonglae Cho

Created

Created

2024 Mar 11 17:10

Editor

Editor

Seonglae Cho

Edited

Edited

2024 Mar 11 17:15

Refs

Refs

값은 존재하고, 계산은 수행된다

원하는 게 값일때: Call-by-Value 계산일 때: Call-by-Reference

I'm betting on Call-by-Push-Value

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

https://thunderseethe.dev/posts/bet-on-cbpv/

Call-by-Push-Value | Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications

You will be notified whenever a record that you have chosen has been cited.

Call-by-Push-Value | Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications

https://dl.acm.org/doi/10.5555/645894.671755

Recommendations

////////