booktheque

Call-By-Push-Value

Paul Blain Levy · 2003

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

על הספר

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

פרטי הספר

שנה
2003
שפה
English
סדרה
Semantic Structures in Computation -- 2
הוצאה
Springer Netherlands
מהדורות
1
עמודים
352
ISBN
9789401037525

מקור הנתונים: Wikidata