Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) -
-30% ar kodu BOOKS
Piegāde 15-21 darba dienu laikā
30 dienu atgriešanas politika
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to de ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Izdevējs | OmniScriptum |
|---|---|
| Izlaides gads | 2026 |
| Vāka tips | Mīkstais vāks |
| EAN | 9786133155329 |