search

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.
https://patternatlas.com/
122 stars 6 forks source link

Investigate Call by Name, Call by Value, Call by Push Value #7

Open prathyvsh opened 4 years ago

prathyvsh commented 4 years ago

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