01209nam0-2200325 --450 991033015590332120190719115948.0978295318374020190719d2009----kmuy0itay5050 baitafreFRy 101yy<<Gli >>scrittori e la Grande Guerraatti della giornata di studi (17 novembre 2008)a cura di Pérette-Cécile Buffaria e Christophe Mileschicon la collaborazione di Luca SalzaParigiIstituto italiano di cultura2009147 p.22 cmQuaderni dell'Hotel de Galliffet12Guerra mondiale 1914-1918Influssi sulla letteraturaGuerra mondiale 1914-1918Atteggiamento [e] Partecipazione [di] Scrittori italianiAtti di congressi850.90091223ita940.4145092223itaBuffaria,Pérette-CécileMileschi,ChristopheSalza,LucaITUNINAREICATUNIMARCBK9910330155903321850.9009 CONV PARIGI 2008bibl. 2019FLFBCFLFBCScrittori e la Grande Guerra1557802UNINA02639nam 22006135 450 99646555640331620230406065457.010.1007/11546382(CKB)1000000000213203(SSID)ssj0000315728(PQKBManifestationID)11207671(PQKBTitleCode)TC0000315728(PQKBWorkID)10255356(PQKB)10075217(DE-He213)978-3-540-31872-9(MiAaPQ)EBC3067930(PPN)123097002(EXLCZ)99100000000021320320100721d2005 u| 0engurnn|008mamaatxtccrAdvanced Functional Programming[electronic resource] 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /edited by Varmo Vene, Tarmo Uustalu1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 362 p.) Theoretical Computer Science and General Issues,2512-2029 ;3622Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540285403 Includes bibliographical references and index.Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs.Theoretical Computer Science and General Issues,2512-2029 ;3622Computer programmingSoftware engineeringCompilers (Computer programs)Programming TechniquesSoftware EngineeringCompilers and InterpretersComputer programming.Software engineering.Compilers (Computer programs).Programming Techniques.Software Engineering.Compilers and Interpreters.005.1/14Vene Varmoedthttp://id.loc.gov/vocabulary/relators/edtUustalu Tarmoedthttp://id.loc.gov/vocabulary/relators/edtAFP 2004BOOK996465556403316Advanced Functional Programming772497UNISA