{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":65,"n_cols":5,"rows_kept":65,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[35,2,35,3],[36,2,36,3],[39,2,39,3],[42,2,42,3],[42,4,42,5],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[46,2,46,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[52,2,52,3],[58,2,58,3],[59,2,59,3],[62,2,62,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910786158203321"]
[null,null,"Autore",null,"Harper Robert <1957->"]
[null,null,"Titolo",null,"Practical foundations for programming languages / / Robert Harper [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2013"]
[null,null,"ISBN",null,"1-107-23730-0"]
[{"$nulls":4},"1-107-25486-8"]
[{"$nulls":4},"1-107-30175-0"]
[{"$nulls":4},"1-107-30684-1"]
[{"$nulls":4},"1-107-30904-2"]
[{"$nulls":4},"1-107-31459-3"]
[{"$nulls":4},"1-139-34213-4"]
[null,null,"Descrizione fisica",null,"1 online resource (xviii, 471 pages) : digital, PDF file(s)"]
[null,null,"Classificazione",null,"COM051010"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"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 "]
[{"$nulls":4},"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."]
[null,null,null,"Sommario/riassunto","Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical."]
[null,"2.","Record Nr.",null,"UNINA9910823472203321"]
[null,null,"Autore",null,"Zacharias Robert <1977->"]
[null,null,"Titolo",null,"Rewriting the break event : Mennonites & migration in Canadian literature / / Robert Zacharias"]
[null,null,"Pubbl/distr/stampa",null,"Manitoba, Canada : , : University of Manitoba Press, , 2013"]
[{"$nulls":4},"©2013"]
[null,null,"ISBN",null,"0-88755-448-2"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 227 pages)"]
[null,null,"Collana",null,"Studies in Immigration and Culture, , 1914-1459 ; ; 8"]
[null,null,"Disciplina",null,"813/.5409921289771"]
[null,null,"Soggetti",null,"Mennonites - In literature"]
[{"$nulls":4},"Soviet Union Emigration and immigration"]
[{"$nulls":4},"Canada Emigration and immigration"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"; Machine generated contents note: ; ch. 1 Mennonite History and/as Literature -- ; ch. 2 Gelassenheit or Exodus: My Harp Is Turned to Mourning and the Theo-Pedagogical Narrative -- ; ch. 3 Dreaming das Volklein: Lost in the Steppe and the Ethnic Narrative -- ; ch. 4 Individual in the Communal Story: The Russlander and the Trauma Narrative -- ; ch. 5 Strain of Diaspora: The Blue Mountains of China and the Meta-Narrative."]
[null,null,null,"Sommario/riassunto","Despite the fact that Russian Mennonites began arriving in Canada en masse in the 1870s, Mennonite Canadian literature has been marked by a compulsive retelling of the mass migration of some 20,000 Russian Mennonites to Canada following the collapse of the \"Mennonite Commonwealth\" in the 1920s. This privileging of a seminal dispersal within the community's broader history reveals the ways in which the 1920s narrative has come to function as an origin story, or \"break event,\" for the Russian Mennonites in Canada, serving to affirm a communal identity across national and generational boundaries. Drawing on recent work in diaspora studies, Rewriting the Break Event offers a historicization of Mennonite literary studies in Canada, followed by close readings of five novels that rewrite the Mennonite break event through specific strains of emphasis, including a religious narrative, ethnic narrative, trauma narrative, and meta-narrative. The result is thoughtful and engaging exploration of the shifting contours of Mennonite collective identity, and an exciting new methodology that "]
[{"$nulls":4},"promises to resituate the discourse of migrant writing in Canada."]
[null,"3.","Record Nr.",null,"UNINA9910349336903321"]
[null,null,"Autore",null,"Filler Guido"]
[null,null,"Titolo",null,"Becoming a Successful Scholar : A Practical Guide to Academic Achievement in the Medical Professions / / by Guido Filler, Ravneet Nagra"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"9783030244484"]
[{"$nulls":4},"3030244482"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (V, 137 p. 34 illus., 26 illus. in color.)"]
[null,null,"Disciplina",null,"610.71"]
[{"$nulls":4},"610.69"]
[null,null,"Soggetti",null,"Medical education"]
[{"$nulls":4},"Internal medicine"]
[{"$nulls":4},"Premedical education"]
[{"$nulls":4},"Medical Education"]
[{"$nulls":4},"Internal Medicine"]
[{"$nulls":4},"Premedical Education"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Introduction -- Why Should We Publish? -- Lack of Evidence-based Guidance -- Fanatic Discipline -- Empirical Creativity -- Productive Paranoia -- Return on Luck -- The Mindset Helps -- Behaviors that Make You More Successful -- Writing Your Paper -- Perseverance -- Reviewing -- The Road to Success -- YOUR Future Road to Success."]
[null,null,null,"Sommario/riassunto","This book is a toolkit for young academic physicians and researchers to learn the behaviors and steps necessary for achieving success in academia. Written by a successful academic clinician, the book shares his personal experience alongside his years of successfully teaching and mentoring young medical professionals. The author’s main aim is to provide insightful tips and tricks that will hopefully not only motivate the reader to persevere through difficult competitive periods in his or her life, but also provide him or her with a strategic behavioral plan that will solidify his or her work habits and ensure success. This book begins with a chapter about why knowledge and learning should be communicated, and then expands on that mindset through both general behavioral changes and those specific to the life of an academic "]
[{"$nulls":4},"researcher, like writing articles. Some key topics covered in the text include: The importance of sharing knowledge and the associatedpublic and personal benefits Taking one step at a time and planning out work into small, attainable goals Developing a growth mindset The importance of collaboration and successful mentors This is an ideal guide for young academic physicians and researchers working in universities, academic health sciences centers, and research institutes hoping to learn how to achieve success in academia. It could also prove useful to more established academics that need a refresher or a new perspective on their work and goals."]