Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) - Softcover
Search results for Dependent ML: Functional Programming Language, ML Programmin...
Seller Image
Dependent ML
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 100 pp. Englisch. Seller Inventory # 9786133155329
Seller Image
Dependent ML | Functional Programming Language, ML Programming Language, Alice (programming language)
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Dependent ML | Functional Programming Language, ML Programming Language, Alice (programming language) | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133155329 | 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 # 134889231
Seller Image
Dependent ML
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. Dependent ML isan experimental functional programming language proposed by FrankPfenning and Hongwei Xi. Dependent ML extends ML by a restricted notionof dependent types: types may be dependent on static indices of typeNat. Dependent ML employs a constraint theorem prover to decide a strongequational theory over the index expressions. Dependent ML has beensuperseded by ATS and is no longer under active development.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 100 pp. Englisch. Seller Inventory # 9786133155329
Seller Image
Dependent ML : Functional Programming Language, ML Programming Language, Alice (programming language)
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 # 9786133155329