Extended description techniques for security engineering
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
A case study of hardware and software synthesis in ForSyDe
Proceedings of the 15th international symposium on System Synthesis
Multimedia document engineering in MCF
Proceedings of the 2002 ACM symposium on Document engineering
Modeling Reactive Multimedia: Events and Behaviors
Multimedia Tools and Applications
Approximate qualitative spatial reasoning
Spatial Cognition and Computation
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Rough Sets in Spatio-temporal Data Mining
TSDM '00 Proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining-Revised Papers
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Lifestyles - An Algebraic Approach to Change in Identity
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
A Proof Tool Dedicated to Clean - The First Prototype
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Functional programming concepts and straight-line programs in computer algebra
Mathematics and Computers in Simulation
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
The risks and benefits of teaching purely functional programming in first year
Journal of Functional Programming
Haskell in Space: An interactive game as a functional programming exercise
Journal of Functional Programming
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information
Adding polymorphic tuples and lists to the syntax of Java
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Journal of Functional Programming
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
Proceedings of the 2004 ACM symposium on Document engineering
Sound development of secure service-based systems
Proceedings of the 2nd international conference on Service oriented computing
Tutorial: lazy functional programming in Haskell
Proceedings of the 2nd annual conference on Mid-south college computing
Modelling Reactive Multimedia: Design and Authoring
Multimedia Tools and Applications
The logic of demand in Haskell
Journal of Functional Programming
Empirical Software Engineering
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parameterized objects and inducements to explore functional programming
Proceedings of the 44th annual Southeast regional conference
Groovy Programming: An Introduction for Java Developers
Groovy Programming: An Introduction for Java Developers
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Pattern minimization problems over recursive data types
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
PARO: Synthesis of Hardware Accelerators for Multi-dimensional Dataflow-Intensive Applications
ARC '08 Proceedings of the 4th international workshop on Reconfigurable Computing: Architectures, Tools and Applications
A Mathematical Tool to Extend 2D Spatial Operations to Higher Dimensions
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
A Needed Rewriting Strategy for Data-Structures with Pointers
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
An operation-independent approach to extend 2D spatial operations to 3D and moving objects
Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems
Journal of Functional Programming
Parallel algorithms development for programmable devices with application from cryptography
International Journal of Parallel Programming
Generating Functional Implementations of Finite State Automata in C# 3.0
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-core parallelization in Clojure: a case study
Proceedings of the 6th European Lisp Workshop
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A spatio-temporal ontology for geographic information integration
International Journal of Geographical Information Science
Fast type reconstruction for dynamically typed programming languages
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Clone detection and elimination for Haskell
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Journal of Visual Languages and Computing
Towards a general framework for data mining
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
Lazy evaluation of PDE coefficients in the EScript system
AusPDC '10 Proceedings of the Eighth Australasian Symposium on Parallel and Distributed Computing - Volume 107
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Generalization behaviour of alkemic decision trees
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Ontology matching for spatial data retrieval from internet portals
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
Simple rectangle-based functional programs for computing reflexive-transitive closures
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |
From the Publisher:The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, as well as advice an program design, testing, problem solving and how to avoid common pitfalls.Building on the strengths of the first edition, the book includes many new and improved features:Complete coverage of Haskell 98, the standard version of Haskellwhich will be stable and supported by implementations for years tocome.An emphasis on software engineering principles, encouraging adisciplined approach to building reusable libraries of softwarecomponents.Detailed coverage of the Hugs interpreter with an appendix coveringother implementations.A running case study of pictures emphasizes the built-in functionswhich appear in the standard prelude and libraries. It is also used togive an early preview of some of the more complex language features,such as high-order functions.List comprehensions and the standard functions over lists are coveredbefore recursion.Early coverage of polymorphism supporting the "toolkit" approachand encouraging the resuse of built-in functions and types.Extensive reference material containing details of further reading inbooks, journals and on the World Wide Web.Accompanying Web Site supporting the book, containing all theprogram code, further teaching materials and other useful resources.