Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) -
-25% koodilla BOOKS
Toimitus 15-21 arkipäivässä
30 päivän palautusoikeus
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 ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
Lisätietoja
| Julkaisija | OmniScriptum |
|---|---|
| Julkaisuvuosi | 2026 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9786133155329 |