LEADER 04279nam 22007215 450 001 996465840003316 005 20230406035635.0 010 $a3-540-70594-5 024 7 $a10.1007/978-3-540-70594-9 035 $a(CKB)1000000000490784 035 $a(SSID)ssj0000355556 035 $a(PQKBManifestationID)11227493 035 $a(PQKBTitleCode)TC0000355556 035 $a(PQKBWorkID)10320014 035 $a(PQKB)10668508 035 $a(DE-He213)978-3-540-70594-9 035 $a(MiAaPQ)EBC3068467 035 $a(PPN)127055029 035 $a(EXLCZ)991000000000490784 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction$b[electronic resource] $e9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /$fedited by Philippe Audebaud, Christine Paulin-Mohring 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 423 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5133 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-70593-7 320 $aIncludes bibliographical references and index. 327 $aExploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq -- Verifying a Semantic ??-Conversion Test for Martin-Löf Type Theory -- The Capacity-C Torch Problem -- Recounting the Rationals: Twice! -- Zippy Tabulations of Recursive Functions -- Unfolding Abstract Datatypes -- Circulations, Fuzzy Relations and Semirings -- Asynchronous Exceptions as an Effect -- The Böhm?Jacopini Theorem Is False, Propositionally -- The Expression Lemma -- Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types -- Safe Modification of Pointer Programs in Refinement Calculus -- A Hoare Logic for Call-by-Value Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems -- Modal Semirings Revisited -- Asymptotic Improvement of Computations over Free Monads -- Symmetric and Synchronous Communication in Peer-to-Peer Networks. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5133 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a005.11 702 $aAudebaud$b Philippe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaulin-Mohring$b Christine$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465840003316 996 $aMathematics of Program Construction$92915783 997 $aUNISA LEADER 05908nam 2200877 450 001 9910807111103321 005 20230912152511.0 010 $a1-282-04564-4 010 $a9786612045646 010 $a1-4426-7585-3 024 7 $a10.3138/9781442675858 035 $a(CKB)2430000000001650 035 $a(OCoLC)666920236 035 $a(CaPaEBR)ebrary10219280 035 $a(SSID)ssj0000298848 035 $a(PQKBManifestationID)12134012 035 $a(PQKBTitleCode)TC0000298848 035 $a(PQKBWorkID)10238032 035 $a(PQKB)10625287 035 $a(CaBNvSL)thg00600831 035 $a(DE-B1597)464542 035 $a(OCoLC)944178119 035 $a(DE-B1597)9781442675858 035 $a(Au-PeEL)EBL4671599 035 $a(CaPaEBR)ebr11257304 035 $a(OCoLC)958562598 035 $a(dli)HEB06440 035 $a(MiU)MIU01000000000000012925601 035 $a(OCoLC)1380459710 035 $a(MdBmJHUP)musev2_104850 035 $a(VaAlCD)20.500.12592/54w8d9 035 $a(schport)gibson_crkn/2009-12-01/6/417591 035 $a(MiAaPQ)EBC4671599 035 $a(MiAaPQ)EBC3255372 035 $a(EXLCZ)992430000000001650 100 $a20160922h19951995 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHope and deception in Conception Bay $emerchant-settler relations in Newfoundland, 1785-1855 /$fSean T. Cadigan 210 1$aToronto, [Ontario] ;$aBuffalo, [New York] ;$aLondon, [England] :$cUniversity of Toronto Press,$d1995. 210 4$d©1995 215 $a1 online resource (257 p.) 225 0 $aThe Social history of Canada,$x0085-6207 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8020-0469-5 311 $a0-8020-7568-1 320 $aIncludes bibliographical references and index. 327 $a""CONTENTS""; ""PREFACE: The Chimera of Newfoundland History""; ""ACKNOWLEDGMENTS""; ""Part One: Setting and Context""; ""Introduction""; ""1 Political Economy of the Resident Fishery""; ""Part Two: The Household Fishery""; ""2 Fishing Households and Family Labour""; ""3 Household Agriculture""; ""4 Women in Household Production""; ""Part Three: Fishing People and Merchants""; ""5 The Legal Regime of the Fishery""; ""6 Truck as Paternal Accommodation""; ""Part Four: The Chimera""; ""7 Agriculture and Government Relief""; ""8 Liberals and the Law""; ""Conclusion"" 327 $a""APPENDIX A: The Law of Wage and Lien""""APPENDIX B: Selection of Court Record Evidence""; ""NOTES""; ""BIBLIOGRAPHY""; ""INDEX""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Y"" 330 8 $a"Besides newspapers accounts, missionary correspondence, and local government records, Cadigan makes use of court records that have never before been systematically used. These records provide evidence that serves as the basis for his discussion of family production in the fishery, the unsuccessful attempts by families to diversify production through agriculture, the gender division of labour, and economic development."--Jacket. 330 1 $a"In late eighteenth- and early nineteenth-century Newfoundland, the evolution to colonial self-government within the empire was accompanied by an economic transition from a migratory to a residential fishery. This was the beginning of the modern liberal order for Newfoundland." "The standard view is that the truck system, wherein merchants supplied fishing families with provisions, gear, and so on against the season's catch, shamefully exploited resident fishermen, as well as planters and servants. Sean Cadigan reviews the economic and social developments of this period from a new perspective. He contends that the persistence of independent commodity production in the fishery of northeast-coast Newfoundland from 1785 to 1855 cannot be attributed to merchant-imposed truck credit practices. He calls for a reassessment of the truck system as a realistic accommodation to the limited possibilities and requirements of the local economy. The rise of the truck system and the household-based fishery was above all a historical outcome which involved the adjustments of settlers, merchants, and governments during a complex period of transition. Elements of the staple model are used to suggest that the resource base of the fishery and the legal institutions of the initial fishing industry limited the ability of fishing families to respond otherwise to exploitation by merchants. Later, reformers struggling for colonial self-government obscured the staple restraints on fishing families in order to discredit fish merchants politically by saying the latter purposefully used truck to impoverish the fishery and prevent agricultural development in order to preserve their hegemony in Newfoundland's economy and society." 410 4$aThe social history of Canada, 410 4$aThe social history of Canada, 606 $aFish trade$zNewfoundland and Labrador$xHistory 606 $aFisheries$xEconomic aspects$zNewfoundland and Labrador 606 $aFisheries$xSocial aspects$zNewfoundland and Labrador 607 $aNewfoundland and Labrador$xEconomic conditions 607 $aNewfoundland and Labrador$xSocial conditions 607 $aConception Bay (N.L.)$xEconomic conditions 608 $aHistory. 608 $aElectronic books. 615 0$aFish trade$xHistory. 615 0$aFisheries$xEconomic aspects 615 0$aFisheries$xSocial aspects 676 $a338.3/727/09718 700 $aCadigan$b Sean T$g(Sean Thomas),$f1962-$01011425 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910807111103321 996 $aHope and deception in Conception Bay$92343191 997 $aUNINA