LEADER 03119nam 2200661Ia 450 001 9910454878903321 005 20210923234255.0 010 $a1-134-01782-0 010 $a1-282-25726-9 010 $a9786612257261 010 $a0-203-88575-9 035 $a(CKB)1000000000773624 035 $a(EBL)446827 035 $a(OCoLC)444510579 035 $a(SSID)ssj0000148359 035 $a(PQKBManifestationID)11144928 035 $a(PQKBTitleCode)TC0000148359 035 $a(PQKBWorkID)10225048 035 $a(PQKB)10405323 035 $a(MiAaPQ)EBC446827 035 $a(Au-PeEL)EBL446827 035 $a(CaPaEBR)ebr10326705 035 $a(CaONFJC)MIL225726 035 $a(EXLCZ)991000000000773624 100 $a20081212d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 13$aAn environmental history of the world$b[electronic resource] $ehumankind's changing role in the community of life /$fJ. Donald Hughes 205 $a2nd ed. 210 $aLondon $cRoutledge$d2009 215 $a1 online resource (321 p.) 225 1 $aRoutledge studies in physical geography and environment 300 $aDescription based upon print version of record. 311 $a0-415-48150-3 311 $a0-415-48149-X 320 $aIncludes bibliographical references and index. 327 $aBook Cover; Title; Copyright; Contents; Figures; Acknowledgments; Permissions; 1 Introduction: History and ecology; 2 Primal harmony; 3 The great divorce of culture and nature; 4 Ideas and impacts; 5 The Middle Ages; 6 The transformation of the biosphere; 7 Exploitation and conservation; 8 Modern environmental problems; 9 Present and future; 10 A general conclusion; Suggestions for further reading on world environmental history; Index 330 $aThis second edition of An Environmental History of the World continues to present a concise history, from ancient to modern times, of the interactions between human societies and the natural environment, including the other forms of life that inhabit our planet. Throughout their evolutionary history, humans have affected the natural environment, sometimes with a promise of sustainable balance, but also in a destructive manner. This book investigates the ways in which environmental changes, often the result of human actions, have caused historical trends in human societies. This pro 410 0$aRoutledge studies in physical geography and environment. 606 $aHuman ecology$xHistory 606 $aNature$xEffect of human beings on$xHistory 606 $aBiotic communities$xHistory 608 $aElectronic books. 615 0$aHuman ecology$xHistory. 615 0$aNature$xEffect of human beings on$xHistory. 615 0$aBiotic communities$xHistory. 676 $a304.2809 700 $aHughes$b J. Donald$g(Johnson Donald),$f1932-2019.$0885156 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910454878903321 996 $aAn environmental history of the world$92457335 997 $aUNINA LEADER 07206nam 2200469 450 001 996503466903316 005 20231110221414.0 010 $a3-031-21314-9 035 $a(MiAaPQ)EBC7165837 035 $a(Au-PeEL)EBL7165837 035 $a(CKB)25913955800041 035 $a(PPN)267813090 035 $a(EXLCZ)9925913955800041 100 $a20230422d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aTrends in functional programming $e23rd International Symposium, TFP 2022, virtual event, March 17-18, 2022, revised selected papers /$fedited by Wouter Swierstra, Nicolas Wu 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$dİ2022 215 $a1 online resource (200 pages) 225 1 $aLecture Notes in Computer Science ;$vv.13401 311 08$aPrint version: Swierstra, Wouter Trends in Functional Programming Cham : Springer International Publishing AG,c2023 9783031213137 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Contents -- Project Paper: Embedding Generic Monadic Transformer into Scala -- 1 Introduction -- 2 Embedding Generic Monadic Cps Transform into Scala -- 2.1 Monads Parametrization -- 2.2 Translation of Higher-Order Functions -- 2.3 Call-Chain Substitutions -- 2.4 Automatic Coloring -- 3 Related Work -- 4 Conclusion and Further Work -- References -- Towards a Language for Defining Reusable Programming Language Components -- 1 Introduction -- 2 CS by Example -- 2.1 Data Types and Functions -- 2.2 Effects and Handlers -- 2.3 Order of Evaluation, Suspension, and Enactment -- 2.4 Modules and Imports -- 2.5 Composable Data Types and Functions -- 3 Defining Reusable Language Components in CS -- 3.1 A Signature for Reusable Components -- 3.2 A Language Component for Arithmetic Expressions -- 3.3 Implementing Functions as a Reusable Effect -- 3.4 Example Usage -- 4 Related Work -- 5 Future Work -- 6 Conclusion -- References -- Deep Embedding with Class -- 1 Introduction -- 1.1 Research Contribution -- 2 Deep Embedding -- 3 Shallow Embedding -- 3.1 Tagless-Final Embedding -- 4 Lifting the Backends -- 5 Existential Data Types -- 5.1 Unbraiding the Semantics from the Data -- 6 Transformation Semantics -- 6.1 Convolution -- 6.2 Pattern Matching -- 6.3 Chaining Semantics -- 7 Generalised Algebraic Data Types -- 8 Conclusion -- 9 Related Work -- A Appendix -- A.1 Data Type Definitions -- A.2 Smart Constructors -- A.3 Semantics Classes and Data Types -- A.4 GDict instances -- A.5 Evaluator Instances -- A.6 Printer Instances -- A.7 Optimisation Instances -- References -- Understanding Algebraic Effect Handlers via Delimited Control Operators -- 1 Introduction -- 2 S0: A Calculus of Shift0 and Dollar -- 3 h: A Calculus of Effect Handlers -- 4 Adding and Removing the Return Clause -- 4.1 Translating Between Dollar and Reset0. 327 $a4.2 Translating Between Handlers with and Without Return Clause -- 4.3 Correctness -- 5 Deriving a CPS Translation -- 5.1 CPS Translation of Shift0 and Dollar -- 5.2 CPS Translation of Effect Handlers -- 5.3 Macro Translation from h to S0 -- 5.4 Composing Macro and CPS Translations -- 6 Deriving a Type System from the CPS Translation -- 6.1 Type System of Shift0 and Dollar -- 6.2 Type System of Effect Handlers -- 6.3 Applying the CPS Approach -- 6.4 Soundness -- 7 Related Work -- 8 Conclusion and Future Perspectives -- References -- Reducing the Power Consumption of IoT with Task-Oriented Programming -- 1 Introduction -- 1.1 Research Contribution -- 2 Task-Oriented Programming -- 2.1 mTask -- 3 Energy Efficient IoT Nodes -- 4 Scheduling Tasks Efficiently -- 4.1 Evaluation Interval -- 4.2 Basic Refresh Rates -- 4.3 Deriving Refresh Rates -- 4.4 User Defined Refresh Rates -- 5 Running Tasks on Interrupts -- 6 Implementing Refresh Rates -- 7 Scheduling Tasks -- 8 Resulting Power Reductions -- 8.1 Power Saving -- 9 Related Work -- 10 Conclusion -- References -- Semantic Equivalence of Task-Oriented Programs in TopHat -- 1 Introduction -- 2 The TopHat Language -- 2.1 Editors -- 2.2 Sequential Composition -- 2.3 Parallel Composition -- 2.4 Observations -- 2.5 Semantics -- 3 Contextual Equivalence -- 4 Expression Equivalence -- 5 Task Conditions -- 5.1 Failing Tasks -- 5.2 Finished Tasks -- 5.3 Stuck Tasks -- 5.4 Running Tasks -- 6 Task Equivalence -- 7 Laws on Tasks -- 8 Conclusions -- A Appendix -- A.1 Failing -- A.2 Inputs -- A.3 Value -- References -- Algorithm Design with the Selection Monad -- 1 Introduction -- 2 Selection Functions -- 2.1 Pairs of Selection Functions -- 2.2 Password Example -- 2.3 Iterated Product of Selection Functions -- 2.4 Dependently Typed Version -- 2.5 Extended Password Example -- 2.6 Selection Functions Form a Monad. 327 $a2.7 History-Dependent Product of Selection Functions -- 2.8 Efficiency Drawbacks of This Implementation -- 3 Greedy Algorithms -- 4 Examples of Greedy Algorithms -- 4.1 Password Example -- 4.2 Prim's Algorithm -- 4.3 Greedy Graph Walking -- 5 Correctness -- 6 Limited Lookahead -- 6.1 Graph Example -- 7 Iterated Product -- 7.1 Examples -- 8 Conclusion and Future Work -- A Proof that Product Equals Sequence -- References -- Sound and Complete Type Inference for Closed Effect Rows -- 1 Introduction -- 2 Motivation -- 2.1 Algebraic Effects and Handlers -- 2.2 Naive Hindley-Milner Type Inference with Algebraic Effects and Handlers -- 2.3 Type Inference with open and close -- 3 Implicitly Typed Calculus for Algebraic Effects and Handlers -- 3.1 Syntax -- 3.2 Declarative Type Inference Rules -- 4 Syntax-Directed Type Inference Rules -- 4.1 Type Substitution -- 4.2 Type Ordering -- 4.3 Inference Rules with open and close -- 4.4 Principles on the Use of [let] Rule -- 4.5 Fragility of [let] Rule -- 5 Type Inference Algorithm -- 5.1 Auxiliary Functions -- 5.2 Unification Algorithm -- 5.3 Type Inference Algorithm -- 6 Related Work -- 7 Conclusion and Future Work -- A System F + restrict -- B Type-Directed Translation to System F+restrict -- References -- Towards Efficient Adjustment of Effect Rows -- 1 Introduction -- 2 Overview -- 2.1 Effect Handlers -- 2.2 Evidence Passing Semantics and Row-Based Effect System -- 2.3 Effect Type Adjustment for Function Types -- 2.4 Motivating Open Floating -- 3 System Fpwo -- 3.1 Syntax -- 3.2 Dynamic Semantics -- 3.3 Static Semantics -- 3.4 Effect Rows and Closed Prefix Relation -- 4 Open Floating -- 4.1 Design of Algorithm -- 4.2 Organization of Definition -- 4.3 The Definition -- 4.4 Example -- 5 Evaluation -- 5.1 Ideal Case -- 5.2 Failure Case -- 6 Future Work -- 7 Related Work -- 8 Conclusion -- References -- Author Index. 410 0$aLecture Notes in Computer Science 606 $aFunctional programming (Computer science) 615 0$aFunctional programming (Computer science) 676 $a910.5 702 $aSwierstra$b Wouter 702 $aWu$b Nicolas 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996503466903316 996 $aTrends in Functional Programming$91947569 997 $aUNISA LEADER 02432nam 22005771 450 001 9910961968203321 005 20250204191044.0 010 $a9781526503183 010 $a1526503182 010 $a9781526503206 010 $a1526503204 010 $a9781526503190 010 $a1526503190 024 7 $a10.5040/9781526503206 035 $a(CKB)4970000000120216 035 $a(MiAaPQ)EBC6179599 035 $a(OCoLC)1154960989 035 $a(UkLoBP)bpp09262560 035 $a(UkLoBP)BP9781526503206BC 035 $a(MiAaPQ)EBC31902328 035 $a(Au-PeEL)EBL31902328 035 $a(EXLCZ)994970000000120216 100 $a20181127h20182017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aChildren's views and evidence /$fDavid Burrows 205 $a1st ed. 210 4$dİ2017 210 1$aHaywards Heath :$cBloomsbury Professional,$d2018. 215 $a1 online resource (xxxiv, 369 pages) 225 0 $aBloomsbury family law 311 08$a9781526503176 311 08$a1526503174 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Meaning of 'child': law and reality -- Child's evidence -- Child's views -- Human rights and the child -- The child as a party to proceedings -- Children's rights: international legislation and EU withdrawal -- Confidentiality -- Disclosure in children proceedings -- Restricting or withholding disclosure -- Closed material procedures -- Public interest immunity -- Privacy and anonymity in children proceedings. 330 $a"Can you hear the child's voice? The Court of Appeal have commented that the family courts are 'still feeling their way forward in order to determine how best to 'hear the voice of a child'. In this new title David Burrows looks at the jurisprudence surrounding this remark, relates it to European and UN Convention rights and looks at the most recent children case law."--Bloomsbury Publishing. 410 0$aBloomsbury Family Law Series 606 $aChild witnesses$zGreat Britain 615 0$aChild witnesses 676 $a347.41066083 700 $aBurrows$b David$f1949-$01786566 801 0$bUtOrBLW 801 1$bUtOrBLW 801 2$bUkLoBP 906 $aBOOK 912 $a9910961968203321 996 $aChildren's views and evidence$94318422 997 $aUNINA