A taste of functional programming — 2     

Madhavan Mukund 《Resonance》2007,12(9):40-63

Functional programming has its roots in Alonzo Church’s lambda calculus. In the first part¹ of this article, we explored some basic notions of functional programming using the language Haskell. We now examine some more advanced concepts, including polymorphism, infinite data types and computations, and user-defined data types. Madhavan Mukund has been on the Computer Science faculty at Chennai Mathematical Institute since 1992, where he is currently Professor. His research interests are primarily in formal methods for specifying and verifying computing systems. He is the Secretary of the Indian Association for Research in Computing Science (IARCS) and the National Coordinator of the Indian Computing Olympiad.  相似文献   

Volunteer Utilization Report Prepared for Future of the Library Task Force of the Charlotte Mecklenburg Library, 2010     

Karen Beach 《Public Library Quarterly》2013,32(2):150-162

The author has prepared a planning document on how her library system can use volunteers as one strategy for keeping libraries open in the face of severe budget cuts by the county government that provides most of the library's funding. The document is addressed to the Future of the Library Task Force, the planning group that makes policy recommendations to governance officials. The author also estimates the number of volunteers and the number of hours they will contribute as Charlotte Mecklenburg Library works to implement the plan. These calculations generate several tables with information about volunteer activities within the system to provide the planners with sufficient information to make appropriate decisions.  相似文献   

基于属性权重的区分矩阵启发式约简算法   总被引：1，自引：0，他引：1  

陈贞 《莆田学院学报》2007,14(5):15-18,87

介绍了基于区分矩阵的属性约简算法,通过分析,说明了算法的不足,提出相应的改进策略。将启发性知识结合区分矩阵,提出基于属性特征权重的区分矩阵的启发式约简算法,较以往的算法意义更加直观,计算也更加简单,提高了约简算法的速度。  相似文献