Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Categorical Combinators, Sequential Algorithms, and Functional Programming

129,70 €

The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien).

Författare
P.-L. Curien
ISBN
9781461267041
Språk
engelska
Vikt
281 gram
Utgivningsdatum
27.9.2012
Sidor
404