Programming Language for Computable Functions: Functional Programming, Alice (programming language), Caml - Softcover
Search results for Programming Language for Computable Functions: Functional...
Seller Image
Programming Language for Computable Functions
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 120 pp. Englisch. Seller Inventory # 9786133194618
Seller Image
Programming Language for Computable Functions | Functional Programming, Alice (programming language), Caml
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 134885872
Seller Image
Programming Language for Computable Functions
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9786133194618
Seller Image
Programming Language for Computable Functions : Functional Programming, Alice (programming language), Caml
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Seller Inventory # 9786133194618