morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Investigate Call by Name, Call by Value, Call by Push Value

Open prathyvsh opened this issue 4 years ago • 0 comments

Call by Push Value by Paul Blain Levy

Duality between Call by Value and Call by Name: https://homepages.inf.ed.ac.uk/wadler/papers/dual/dual.pdf

prathyvsh avatar Sep 15 '20 14:09 prathyvsh