Programming Language for Computable Functions: Functional Programming, Alice (programming language), Caml - Couverture souple
Résultats de recherche pour Programming Language for Computable Functions: Functional...
Image fournie par le vendeur
Programming Language for Computable Functions
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 120 pp. Englisch. N° de réf. du vendeur 9786133194618
Acheter neuf
EUR 156
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Programming Language for Computable Functions | Functional Programming, Alice (programming language), Caml
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Programming Language for Computable Functions | Functional Programming, Alice (programming language), Caml | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133194618 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 134885872
Acheter neuf
EUR 125,30
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Programming Language for Computable Functions
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The Programminglanguage for Computable Functions, or PCF, is a typed functionallanguage introduced by Gordon Plotkin in 1977. It is based on the Logicof Computable Functions (LCF) by Dana Scott. It can be considered as asimplified version of modern typed functional languages such as ML. Afully abstract model for PCF was first given by Milner (1977). Howeversince Milner's model was essentially based on the syntax of PCF it wasconsidered less than satisfactory (Ong, 1995). The first two fullyabstract models not employing syntax were formulated during the 1990s.These models are based on game semantics (Hyland and Ong, 2000;Abramsky, Jagadeesan, and Malacaria, 2000) and Kripke logical relations(O'Hearn and Riecke, 1995). For a time it was felt that neither of thesemodels was completely satisfactory, since they were not effectivelypresentable. However, Ralph Loader demonstrated that no effectivelypresentable fully abstract model could exist, since the question ofprogram equivalence in the finitary fragment of PCF is not decidable.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 120 pp. Englisch. N° de réf. du vendeur 9786133194618
Acheter neuf
EUR 156
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Programming Language for Computable Functions : Functional Programming, Alice (programming language), Caml
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. N° de réf. du vendeur 9786133194618
Acheter neuf
EUR 157,87
Expédition à EUR 60,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)