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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|