Sprache: Englisch
Verlag: Kluwer Academic Publishers, 2003
ISBN 10: 1402017308 ISBN 13: 9781402017308
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph presents the call-by-push-value structure underlying semantics, including operational semantics, domains, possible worlds, continuations, and games. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: TJFD; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 733. . 2003. Hardback. . . . . Books ship from the US and Ireland.