Classical Call-by-need and duality - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Classical Call-by-need and duality


We study call-by-need from the point of view of the duality between call-by-name and call-by-value. We develop sequent-calculus style versions of call-by-need both in the minimal and classical case. As a result, we obtain a natural extension of call-by-need with control operators. This leads us to introduce a call-by-need lambda-mu-calculus. Finally, by using the dualities principles of lambda-bar-mu-mu-tilde-calculus, we show the existence of a new call-by-need calculus, which is distinct from call-by-name, call-by-value and usual call-by-need theories.
Fichier principal
Vignette du fichier
tlca.pdf (376.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00630156 , version 1 (07-10-2011)



Zena Ariola, Hugo Herbelin, Alexis Saurin. Classical Call-by-need and duality. TLCA 2011 - Typed Lambda Calculi and Applications, Silvia Ghilezan, Jun 2011, Novi Sad, Serbia. pp.27-44, ⟨10.1007/978-3-642-21691-6_6⟩. ⟨inria-00630156⟩
82 View
165 Download



Gmail Facebook X LinkedIn More