LEADER 04181nam  22007215  450 
001 996466134303316
005 20200704142246.0
010   $a3-540-33439-4
024 7 $a10.1007/11737414
035   $a(CKB)1000000000232928
035   $a(SSID)ssj0000317823
035   $a(PQKBManifestationID)11253092
035   $a(PQKBTitleCode)TC0000317823
035   $a(PQKBWorkID)10307496
035   $a(PQKB)10834393
035   $a(DE-He213)978-3-540-33439-2
035   $a(MiAaPQ)EBC3067920
035   $a(PPN)123133564
035   $a(EXLCZ)991000000000232928
100   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFunctional and Logic Programming$b[electronic resource] $e8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /$fedited by Masami Hagiya, Philip Wadler
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 298 p.)
225 1 $aProgramming and Software Engineering ;$v3945
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-33438-6 
320   $aIncludes bibliographical references and index.
327   $aInvited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place -- Refereed Papers -- ?Scrap Your Boilerplate? Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data Types -- Lock Free Data Structures Using STM in Haskell -- XML Type Checking Using High-Level Tree Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems -- Resource Analysis by Sup-interpretation -- Lazy Set-Sharing Analysis -- Size-Change Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs of Projections -- iData for the World Wide Web ? Programming Interconnected Web Forms -- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages.
410  0$aProgramming and Software Engineering ;$v3945
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
676   $a005.1/14
702   $aHagiya$b Masami$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWadler$b Philip$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFuji International Symposium on Functional and Logic Programming
906   $aBOOK
912   $a996466134303316
996   $aFunctional and Logic Programming$9772537
997   $aUNISA