Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/589
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWang, Meng. ;en_US
dc.contributor.authorOwens, Scott. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:19:15Z-
dc.date.available2020-05-17T08:19:15Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319897196 ;en_US
dc.identifier.isbn9783319897189 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/589-
dc.descriptionPrinted edition: ; 9783319897189. ;en_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ;en_US
dc.description.statementofresponsibilityedited by Meng Wang, Scott Owens.en_US
dc.description.tableofcontentsMemoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. ;en_US
dc.format.extentVII, 149 p. 48 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.haspart9783319897196.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSpecial Purpose Computersen_US
dc.subjectArchitecture, Computer. ;en_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectOperating systems (Computers). ;en_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Techniquesen_US
dc.subjectSoftware Engineeringen_US
dc.subjectOperating Systems. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSpecial Purpose and Application-Based Systems. ;en_US
dc.subjectComputer System Implementation. ;en_US
dc.subject.ddc005.11 ; 23 ;en_US
dc.subject.lccQA76.6-76.66 ;en_US
dc.titleTrends in Functional Programmingen_US
dc.title.alternative18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319897196.pdf6.49 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWang, Meng. ;en_US
dc.contributor.authorOwens, Scott. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:19:15Z-
dc.date.available2020-05-17T08:19:15Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319897196 ;en_US
dc.identifier.isbn9783319897189 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/589-
dc.descriptionPrinted edition: ; 9783319897189. ;en_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ;en_US
dc.description.statementofresponsibilityedited by Meng Wang, Scott Owens.en_US
dc.description.tableofcontentsMemoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. ;en_US
dc.format.extentVII, 149 p. 48 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.haspart9783319897196.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSpecial Purpose Computersen_US
dc.subjectArchitecture, Computer. ;en_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectOperating systems (Computers). ;en_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Techniquesen_US
dc.subjectSoftware Engineeringen_US
dc.subjectOperating Systems. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSpecial Purpose and Application-Based Systems. ;en_US
dc.subjectComputer System Implementation. ;en_US
dc.subject.ddc005.11 ; 23 ;en_US
dc.subject.lccQA76.6-76.66 ;en_US
dc.titleTrends in Functional Programmingen_US
dc.title.alternative18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319897196.pdf6.49 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWang, Meng. ;en_US
dc.contributor.authorOwens, Scott. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:19:15Z-
dc.date.available2020-05-17T08:19:15Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319897196 ;en_US
dc.identifier.isbn9783319897189 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/589-
dc.descriptionPrinted edition: ; 9783319897189. ;en_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ;en_US
dc.description.statementofresponsibilityedited by Meng Wang, Scott Owens.en_US
dc.description.tableofcontentsMemoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. ;en_US
dc.format.extentVII, 149 p. 48 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10788. ;en_US
dc.relation.haspart9783319897196.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSpecial Purpose Computersen_US
dc.subjectArchitecture, Computer. ;en_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectOperating systems (Computers). ;en_US
dc.subjectComputer Scienceen_US
dc.subjectProgramming Techniquesen_US
dc.subjectSoftware Engineeringen_US
dc.subjectOperating Systems. ;en_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSpecial Purpose and Application-Based Systems. ;en_US
dc.subjectComputer System Implementation. ;en_US
dc.subject.ddc005.11 ; 23 ;en_US
dc.subject.lccQA76.6-76.66 ;en_US
dc.titleTrends in Functional Programmingen_US
dc.title.alternative18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319897196.pdf6.49 MBAdobe PDFThumbnail
Preview File