Unifying Meaningfulness and Genericity Across Call-by-Name and Call-by-Value Calculi

The core message of this paper is to unify the notions of meaningfulness and genericity in the distant call-by-name (dCBN) and distant call-by-value (dCBV) calculi by deriving them from the respective ones in the distant Bang (dBang) calculus, which subsumes both dCBN and dCBV.