Titlebook: Implementation and Application of Functional Languages; 17th International W Andrew Butterfield,Clemens Grelck,Frank Huch Conference procee

artless

A Framework for Point-Free Program Transformationprogramming. In this paper we present a collection of libraries and tools developed at Minho with the aim of supporting the automatic conversion of programs to . (embedded in Haskell), their manipulation and rule-driven simplification, and the (limited) automatic application of . for program transformation.

秘密会议

Decibel

季雨

A High-Level Implementation of Composable Memory Transactions in Concurrent Haskellithin older ghc versions as well as with the popular Hugs system. Benchmarks show that our library performes well. Furthermore, our (high-level) implementation can be extended and maintained more easily than the low-level implementation provided by ghc 6.4.

相反放置

商谈

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/462550.jpg

多产鱼

灾难

皮萨

https://doi.org/10.1007/11964681Haskell; Haskell programming; ML programming; function-based programming; functional logic computation; f

符合规定

978-3-540-69174-7Springer-Verlag Berlin Heidelberg 2006