LEADER 03398nam 2200637 450 001 996465589903316 005 20220515114727.0 010 $a3-540-77442-4 024 7 $a10.1007/978-3-540-77442-6 035 $a(CKB)1000000000490874 035 $a(SSID)ssj0000319492 035 $a(PQKBManifestationID)11265248 035 $a(PQKBTitleCode)TC0000319492 035 $a(PQKBWorkID)10337595 035 $a(PQKB)10290975 035 $a(DE-He213)978-3-540-77442-6 035 $a(MiAaPQ)EBC4976205 035 $a(MiAaPQ)EBC5592017 035 $a(MiAaPQ)EBC6711429 035 $a(Au-PeEL)EBL4976205 035 $a(CaONFJC)MIL134287 035 $a(OCoLC)1024283885 035 $a(Au-PeEL)EBL5592017 035 $a(OCoLC)1066180849 035 $a(Au-PeEL)EBL6711429 035 $a(PPN)123740169 035 $a(EXLCZ)991000000000490874 100 $a20220515d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aPractical aspects of declarative languages $e10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings /$fPaul Hudak, David S. Warren (editors) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2008] 210 4$dİ2008 215 $a1 online resource (X, 342 p.) 225 1 $aLecture notes in computer science ;$v4902 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-77441-6 320 $aIncludes bibliographical references and index. 327 $aIndustrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. 410 0$aLecture notes in computer science ;$v4902. 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 615 0$aProgramming languages (Electronic computers)$xSemantics 676 $a005.13 702 $aHudak$b Paul 702 $aWarren$b David S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465589903316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA LEADER 01998nam 2200373Ia 450 001 996386269603316 005 20221108045159.0 035 $a(CKB)4940000000081760 035 $a(EEBO)2240888497 035 $a(OCoLC)15070026 035 $a(EXLCZ)994940000000081760 100 $a19870114d1680 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA collection of several relations and treatises singular and curious of John Baptista Tavernier, Baron of Aubonne$b[electronic resource] $enot printed among his first six voyages ... /$fpublished by Edmund Everard, Esquire .. 210 $aLondon $cPrinted by A. Godbid and J. Playford for Moses Pitt ...$d1680 215 $a[20], 87, 66 p., 6 folded leaves of plates $cill., map 300 $aTranslated by Edmund Everard. 300 $aImperfect: print show-through. 300 $aReproduction of original in the Harvard University Library. 327 $aI. A new and singular relation of the kingdom of Tunquin with several figures and a map of the countrey -- II. How the Hollanders manage their affairs in Asia -- III. A relation of Japon and the cause of the persecution of the Christians in those islands, with a map of the countrey --IV. A relation of what passed in the negotiation of the deputies which were at Persia and the Indies as well on the French King's as the Company's behalf for the establishment of trade -- V. Observations upon the East India trade and the frauds there subject to be committed. 330 $aeebo-0062 607 $aTonkin$xDescription and travel 607 $aJapan$xHistory 607 $aNetherlands$xColonies 700 $aTavernier$b Jean-Baptiste$f1605-1689.$0643770 701 $aEverard$b Edmund$01013390 801 2$bm/c 801 2$bEAF 801 2$bWaOLN 906 $aBOOK 912 $a996386269603316 996 $aA collection of several relations and treatises singular and curious of John Baptista Tavernier, Baron of Aubonne$92423913 997 $aUNISA