Programming Language for Computable Functions: Functional Programming, Alice (programming language), Caml - Tapa blanda
Resultados de la búsqueda para Programming Language for Computable Functions: Functional...
Imagen del vendedor
Programming Language for Computable Functions
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133194618
ISBN 13: 9786133194618
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 120 pp. Englisch. Nº de ref. del artículo: 9786133194618
Comprar nuevo
EUR 156,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Programming Language for Computable Functions | Functional Programming, Alice (programming language), Caml
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 134885872
Comprar nuevo
EUR 125,30
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Programming Language for Computable Functions
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133194618
ISBN 13: 9786133194618
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9786133194618
Comprar nuevo
EUR 156,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Language for Computable Functions : Functional Programming, Alice (programming language), Caml
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Nº de ref. del artículo: 9786133194618
Comprar nuevo
EUR 157,87
Envío por EUR 60,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles