A new approach to generic functional programming
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Topology in Raster and Vector Representation
Geoinformatica
IEEE Transactions on Knowledge and Data Engineering
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
A Semi-monad for Semi-structured Data
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Client-Side Web Scripting with HaskellScript
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Lifestyles - An Algebraic Approach to Change in Identity
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Proof Tool Dedicated to Clean - The First Prototype
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Transformational Construction of Correct Pointer Algorithms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Adding Traces to a Lazy Monadic Evaluator
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Proving Correctness of Programs with IO - A Paradigm Comparison
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Theorem Proving for Functional Programmers
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Functional programming concepts and straight-line programs in computer algebra
Mathematics and Computers in Simulation
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
Perfect trees and bit-reversal permutations
Journal of Functional Programming
Generalizing generalized tries
Journal of Functional Programming
The risks and benefits of teaching purely functional programming in first year
Journal of Functional Programming
FUNCTIONAL PEARL: Unfolding pointer algorithms
Journal of Functional Programming
Journal of Functional Programming
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
de Bruijn notation as a nested datatype
Journal of Functional Programming
Methods for the prevention, detection and removal of software security vulnerabilities
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
GXL: a new graph transformation language
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A programmable editor for developing structured documents based on bidirectional transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Journal of Functional Programming
Tutorial: lazy functional programming in Haskell
Proceedings of the 2nd annual conference on Mid-south college computing
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Countdown: A case study in origami programming
Journal of Functional Programming
From functional to object-oriented programming: a smooth transition for beginners
Proceedings of the 2005 workshop on Functional and declarative programming in education
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
An environment for maintaining computation dependency in XML documents
Proceedings of the 2005 ACM symposium on Document engineering
Building Verification Condition Generators by Compositional Extensions
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A new parallel skeleton for general accumulative computations
International Journal of Parallel Programming
A library of constructive skeletons for sequential style of parallel programming
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Design patterns as higher-order datatype-generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Parallel skeletons for manipulating general trees
Parallel Computing - Algorithmic skeletons
Strongly Typed Rewriting For Coupled Software Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 16th international conference on World Wide Web
Automatic inversion generates divide-and-conquer parallel programs
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A shortcut fusion rule for circular program calculation
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
An information-theoretic model for adaptive side-channel attacks
Proceedings of the 14th ACM conference on Computer and communications security
Towards a demonstrably-correct ada compiler
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Relation-based computations in a monadic BSP model
Parallel Computing
Heap recycling for lazy languages
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Coupled Transformation of Schemas, Documents, Queries, and Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
Proceedings of the first ACM SIGPLAN symposium on Haskell
Type-based specialization of xml transformations
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
The worker/wrapper transformation
Journal of Functional Programming
Higher-level hardware synthesis of the KASUMI algorithm
Journal of Computer Science and Technology
A compositional framework for developing parallel programs on two-dimensional arrays
International Journal of Parallel Programming
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Domain-theoretic Treatment of Recursive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Program generation in the equivalent transformation computation model using the squeeze method
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Generation of efficient programs for solving maximum multi-marking problems
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
Adjoint folds and unfolds: or: scything through the thicket of morphisms
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Monadic maps and folds for multirelations in an allegory
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Some encounters on the productive use of a failed proof attempt or a counterexample
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
Journal of Computer Security
Concrete stream calculus: An extended study
Journal of Functional Programming
Exploiting algebra/coalgebra duality for program fusion extensions
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
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
Towards systematic parallel programming over mapreduce
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Generic Executable Semantics for D-Clean
Electronic Notes in Theoretical Computer Science (ENTCS)
Polynomial-time inverse computation for accumulative functions with multiple data traversals
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Lazy combinators for executable specifications of general attribute grammars
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Declarative scripting in haskell
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Surrounding theorem: developing parallel programs for matrix-convolutions
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Proving and disproving termination of higher-order functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Combining datatypes and effects
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Maximum marking problems with accumulative weight functions
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Program optimizations and transformations in calculation form
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Loopless functional algorithms
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Swapping arguments and results of recursive functions
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Instantly turning a naive exhaustive search into three efficient searches with pruning
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Constructing list homomorphisms from proofs
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Program fusion with paramorphisms
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Pruning with improving sequences in lazy functional programs
Higher-Order and Symbolic Computation
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
Software transactional memories for Scala
Journal of Parallel and Distributed Computing
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
A shortcut fusion approach to accumulations
Science of Computer Programming
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
A category theory approach to HCI
BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference
Hi-index | 0.00 |
From the Publisher:This is a thorough introduction to the fundamental concepts of functional programming.The book clearly expounds the construction of functional programming as a process of mathematical calculation, but restricts itself to the mathematics relevant to actual program construction. It covers simple and abstract datatypes, numbers, lists, examples, trees, and efficiency. It includes a simple, yet coherent treatment of the Haskell class; a calculus of time complexity; and new coverage of monadic input-output.