Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) - Brossura

 
9786133155329: Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language)
Brossura
ISBN 10: 6133155329 ISBN 13: 9786133155329
Casa editrice: OmniScriptum, 2026

Sinossi

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 decide a strong equational theory over the index expressions. Dependent ML has been superseded by ATS and is no longer under active development.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
OmniScriptum
Data di pubblicazione
2026
Lingua
Inglese
ISBN 10 
6133155329
ISBN 13 
9786133155329
Rilegatura
Copertina flessibile
Numero di pagine
100
Redattore
Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile