top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
Autore Harper Robert <1957->
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2013
Descrizione fisica 1 online resource (xviii, 471 pages) : digital, PDF file(s)
Disciplina 005.13
Soggetto topico Programming languages (Electronic computers)
ISBN 1-107-23730-0
1-107-25486-8
1-107-30175-0
1-107-30684-1
1-107-30904-2
1-107-31459-3
1-139-34213-4
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine generated contents note: Part I. Judgments and Rules: 1. Inductive definitions; 2. Hypothetical judgments; 3. Syntactic objects; 4. Generic judgments; Part II. Levels of Syntax: 5. Concrete syntax; 6. Abstract syntax; Part III. Statics and Dynamics: 7. Statics; 8. Dynamics; 9. Type safety; 10. Evaluation dynamics; Part IV. Function Types: 11. Function definitions and values; 12. Godel's system T; 13. Plotkin's PCF; Part V. Finite Data Types: 14. Product types; 15. Sum patterns; 16. Pattern matching; 17. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive types; Part VII. Dynamic Types: 20. The untyped 1-calculus; 21. Dynamic typing; 22. Hybrid typing; Part VIII. Variable Types: 23. Girard's system F; 24. Abstract types; 25. Constructors and kinds; 26. Indexed families of types; Part IX. Subtyping: 27. Subtyping; 28. Singleton and dependent kinds; Part X. Classes and Methods: 29. Dynamic dispatch; 30. Inheritance; Part XI. Control Effects: 31. Control stacks; 32. Exceptions; 33. Continuations; Part XII. Types and Propositions: 34. Constructive logic; 35. Classical logic; Part XIII. Symbols: 36. Symbols; 37. Fluid binding; 38. Dynamic classification; Part XIV. Storage Effects: 39. Modernized algol; 40. Mutable data structures; Part XV. Laziness: 41. Lazy evaluation; 42. Polarization; Part XVI. Parallelism: 43. Nested parallelism; 44. Futures and speculation; Part XVII. Concurrency: 45. Process calculus; 46. Current algol; 47. Distributed algol; Part XVIII. Modularity: 48. Separate compilation and linking; 49. Basic modules; 50. Parameterized modules; Part XIX. Equivalence: 51. Equational reasoning for T; 52. Equational reasoning for PCF; 53. Parametricity.
Record Nr. UNINA-9910786158203321
Harper Robert <1957->  
Cambridge : , : Cambridge University Press, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
Practical foundations for programming languages / / Robert Harper [[electronic resource]]
Autore Harper Robert <1957->
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2013
Descrizione fisica 1 online resource (xviii, 471 pages) : digital, PDF file(s)
Disciplina 005.13
Soggetto topico Programming languages (Electronic computers)
ISBN 1-107-23730-0
1-107-25486-8
1-107-30175-0
1-107-30684-1
1-107-30904-2
1-107-31459-3
1-139-34213-4
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine generated contents note: Part I. Judgments and Rules: 1. Inductive definitions; 2. Hypothetical judgments; 3. Syntactic objects; 4. Generic judgments; Part II. Levels of Syntax: 5. Concrete syntax; 6. Abstract syntax; Part III. Statics and Dynamics: 7. Statics; 8. Dynamics; 9. Type safety; 10. Evaluation dynamics; Part IV. Function Types: 11. Function definitions and values; 12. Godel's system T; 13. Plotkin's PCF; Part V. Finite Data Types: 14. Product types; 15. Sum patterns; 16. Pattern matching; 17. Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive types; Part VII. Dynamic Types: 20. The untyped 1-calculus; 21. Dynamic typing; 22. Hybrid typing; Part VIII. Variable Types: 23. Girard's system F; 24. Abstract types; 25. Constructors and kinds; 26. Indexed families of types; Part IX. Subtyping: 27. Subtyping; 28. Singleton and dependent kinds; Part X. Classes and Methods: 29. Dynamic dispatch; 30. Inheritance; Part XI. Control Effects: 31. Control stacks; 32. Exceptions; 33. Continuations; Part XII. Types and Propositions: 34. Constructive logic; 35. Classical logic; Part XIII. Symbols: 36. Symbols; 37. Fluid binding; 38. Dynamic classification; Part XIV. Storage Effects: 39. Modernized algol; 40. Mutable data structures; Part XV. Laziness: 41. Lazy evaluation; 42. Polarization; Part XVI. Parallelism: 43. Nested parallelism; 44. Futures and speculation; Part XVII. Concurrency: 45. Process calculus; 46. Current algol; 47. Distributed algol; Part XVIII. Modularity: 48. Separate compilation and linking; 49. Basic modules; 50. Parameterized modules; Part XIX. Equivalence: 51. Equational reasoning for T; 52. Equational reasoning for PCF; 53. Parametricity.
Record Nr. UNINA-9910822121603321
Harper Robert <1957->  
Cambridge : , : Cambridge University Press, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
Autore Liu Yanhong Annie <1965->
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2013
Descrizione fisica 1 online resource (xv, 240 pages) : digital, PDF file(s)
Disciplina 005.1
Soggetto topico Computer programming
System design
ISBN 1-107-33359-8
1-107-33525-6
1-107-61079-6
1-107-33691-0
1-139-56787-X
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.
Record Nr. UNINA-9910789315803321
Liu Yanhong Annie <1965->  
Cambridge : , : Cambridge University Press, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
Autore Liu Yanhong Annie <1965->
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2013
Descrizione fisica 1 online resource (xv, 240 pages) : digital, PDF file(s)
Disciplina 005.1
Soggetto topico Computer programming
System design
ISBN 1-107-33359-8
1-107-33525-6
1-107-61079-6
1-107-33691-0
1-139-56787-X
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.
Record Nr. UNINA-9910823265103321
Liu Yanhong Annie <1965->  
Cambridge : , : Cambridge University Press, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Unification grammars / / Nissim Francez, Shuly Wintner [[electronic resource]]
Unification grammars / / Nissim Francez, Shuly Wintner [[electronic resource]]
Autore Francez Nissim
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2012
Descrizione fisica 1 online resource (xii, 312 pages) : digital, PDF file(s)
Disciplina 415.01/51
Soggetto topico Grammar, Comparative and general - Mathematical models
Unification grammar
Lexical-functional grammar
Head-driven phrase structure grammar
ISBN 1-107-22976-6
1-280-48528-0
1-139-22290-2
9786613580269
1-139-21810-7
1-139-21501-9
1-139-22462-X
1-139-22119-1
1-139-01357-2
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction; 2. Feature structures; 3. Unification; 4. Unification grammars; 5. Linguistic applications; 6. Computational aspects of unification grammars; 7. Conclusion; Appendixes.
Record Nr. UNINA-9910781864403321
Francez Nissim  
Cambridge : , : Cambridge University Press, , 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Unification grammars / / Nissim Francez, Shuly Wintner
Unification grammars / / Nissim Francez, Shuly Wintner
Autore Francez Nissim
Edizione [1st ed.]
Pubbl/distr/stampa New York, : Cambridge University Press, 2012
Descrizione fisica 1 online resource (xii, 312 pages) : digital, PDF file(s)
Disciplina 415.01/51
Altri autori (Persone) WintnerShuly <1963->
Soggetto topico Grammar, Comparative and general - Mathematical models
Lexical-functional grammar
Unification grammar
Head-driven phrase structure grammar
ISBN 1-107-22976-6
1-280-48528-0
1-139-22290-2
9786613580269
1-139-21810-7
1-139-21501-9
1-139-22462-X
1-139-22119-1
1-139-01357-2
Classificazione COM051010
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction; 2. Feature structures; 3. Unification; 4. Unification grammars; 5. Linguistic applications; 6. Computational aspects of unification grammars; 7. Conclusion; Appendixes.
Record Nr. UNINA-9910819398503321
Francez Nissim  
New York, : Cambridge University Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui