資料來源: Google Book
Implementation of functional languages :15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 ; revised papers
- 其他作者: Trinder, Phil. , Michaelson, Greg, , Peña, Ricardo,
- 出版: Berlin ;New York : Springer ©2005.
- 稽核項: 1 online resource (vii, 184 pages) :illustrations.
- 叢書名: Lecture notes in computer science,3145
- 標題: Langages de programmation fonctionnels , Implémentation (Informatique) , COMPUTERS , Langage fonctionnel. , Informatie- en communicatietechnologie (algemeen) , COMPUTERS Software Development & Engineering -- Tools. , Software Development & EngineeringGeneral. , COMPUTERS Software Development & Engineering -- General. , Congress , Informatique. , computerwetenschappen , Functional programming languages , COMPUTERS Programming -- Open Source. , ProgrammingOpen Source. , computer sciences , Langages de programmation fonctionnels Congrès. , Actes de congrès. , Electronic books. , Functional programming languages Congresses. , Software Development & EngineeringTools. , Information and Communication Technology (General) , Functional programming languages. , Conference papers and proceedings.
- ISBN: 3540278613 , 9783540278610
- ISBN: 3540237275 , 9783540237273 , 0302-9743 ;
- 試查全文@TNUA:
- 附註: Includes bibliographical references and index. Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization -- Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell.
- 摘要: Annotation This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133936
- 系統號: 005322233
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
來源: Google Book
來源: Google Book
評分