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

Categorical Combinators, Sequential Algorithms, and Functional Programming

1 260 kr
Lägsta pris på PriceRunner

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
2012-09-27
Sidor
404