Functional programming has traditionally been considered elegant and powerful, but also somewhat impractical for ordinary computing. Proponents of functional programming claim that the evolution of functional languages makes their use feasible in many domains. In this work, a popular imperative language (C++) and the leading functional language (Haskell) are compared in a math-intensive, real-world application using a variety of criteria: ease of implementation, efficiency, and readability. The programming tasks that were used as benchmarks involved mathematical transformations between local and global coordinate systems. Details regarding the application area and how language features of both languages were used to solve critical problems ...
We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently b...
The significance of functional programming is revealed as that the feasible approach to language ext...
Drawing on experience of translating a Prolog program into Haskell, a range of correspondences betwe...
This thesis explores the world of Lambda Calculus, functional programming, which is based on Lambda ...
The main idea behind this book is to encourage readers to approach mathematical domains from a funct...
PhD ThesisFunctional programming languages such as Haskell allow numerical algorithms to be expresse...
This report documents the use of functional programming for implementing applications by comparing w...
The driving idea of functional programming is to make programming more closely related to mathematic...
Functional programming is a programming paradigm like object-oriented programming and logic programm...
Today, the imperative style of programming is the most common, but at the same time is not inviolabl...
Functional programming has come of age: it is now a standard course in any computer science curricul...
This thesis makes three distinct contributions to software engineering, usingtyped functional progra...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
The world outside of academia lacks large scale real examples of applications written in functional ...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently b...
The significance of functional programming is revealed as that the feasible approach to language ext...
Drawing on experience of translating a Prolog program into Haskell, a range of correspondences betwe...
This thesis explores the world of Lambda Calculus, functional programming, which is based on Lambda ...
The main idea behind this book is to encourage readers to approach mathematical domains from a funct...
PhD ThesisFunctional programming languages such as Haskell allow numerical algorithms to be expresse...
This report documents the use of functional programming for implementing applications by comparing w...
The driving idea of functional programming is to make programming more closely related to mathematic...
Functional programming is a programming paradigm like object-oriented programming and logic programm...
Today, the imperative style of programming is the most common, but at the same time is not inviolabl...
Functional programming has come of age: it is now a standard course in any computer science curricul...
This thesis makes three distinct contributions to software engineering, usingtyped functional progra...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
The world outside of academia lacks large scale real examples of applications written in functional ...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently b...
The significance of functional programming is revealed as that the feasible approach to language ext...
Drawing on experience of translating a Prolog program into Haskell, a range of correspondences betwe...