5 ms·
"Call-By-Push-Value On the topic of evaluation methods there is interesting research opportunity into exploring an alternative evaluation methods for the lambd
by rdc12 11y ago
"Call-By-Push-Value
On the topic of evaluation methods there is interesting research opportunity into exploring an alternative evaluation methods for the lambda calculus under the so-called “Call-By-Push-Value” method. Surprisingly this technique has been around for 11 years but lacks an equivalent of SPJ’s seminal “stock hardware implementation” paper describing an end to end translation from CBPV to x86. This would be an interesting student project."
Any idea which SPJ paper he is referencing?
- throwaway000002 11y agoHe's probably referring to SPJ's work on the spineless tagless G-machine [1]. In truth, though, I think trying to incorporate Call-By-Push-Value into Haskell would radically change the language unless there's some research in type theory that allows for the implicit Call-By-Need nature of Haskell to be extended into a form that can accommodate CBPV, which itself explicates a kind duality between Call-By-Name and Call-By-Value. If advancements have been made here, I'd love to hear about it. [1] http://research.microsoft.com/apps/pubs/default.aspx?id=67083 http://research.microsoft.com/apps/pubs/default.aspx?id=6708...