ML (Programming Language): Functional programming, LCF, ISWIM, First-order logic, Type polymorphism, Lambda calculus, Purely functional, Evaluation strategy - Brossura

 
9786131770357: ML (Programming Language): Functional programming, LCF, ISWIM, First-order logic, Type polymorphism, Lambda calculus, Purely functional, Evaluation strategy
Brossura
ISBN 10: 6131770352 ISBN 13: 9786131770357
Casa editrice: Alphascript Publishing, 2010

Sinossi

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover. It is known for its use of the Hindley–Milner type inference algorithm, which can automatically infer the types of most expressions without requiring explicit type annotations.

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

Editore
Alphascript Publishing
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
6131770352
ISBN 13 
9786131770357
Rilegatura
Copertina flessibile
Numero di pagine
84
Redattore
Miller Frederic P., Vandome Agnes F., McBrewster John
Contatto del produttore
non disponibile
Persona responsabile
non disponibile