functional programming
Models for persistence in lazy functional programming systems
... of programming effort and complexity would have increased considerably in the ...lazy functional programming languages should not have to expend effort in performing such transformations by ...not ...
186
A Brief Overview of Functional Programming Languages
... LISP, one of the earliest programming languages included functional programming elements in it. LISP was invented by the late John McCarthy in 1958. John McCarthy who was at the time at Massachusetts ...
5
Type Theory & Functional Programming
... and termination properties of evaluation, or as they are more commonly known, the normalisation properties of expressions. We draw a distinction between different kinds of reduction rule — the computation and equiv- ...
378
Proof theoretic investigations into integrated logical and functional programming
... logic programming language called FOPLP, based on the theory of first-order hereditary Harrop ...logic programming language where the programmer has access to the proof-terms and the result of a computation ...
187
A Study of Software Functional Programming and Measurement
... Abstract: This paper presents an investigation into the usefulness of software measurement techniques, also known as software metrics, for software written in functional programming languages such as ...
5
Hardware design of a cooperative adaptive cruise control system using a functional programming language
... Since functional programming languages are well suited to describe systems purely with their mathematical equations, this method looks promising to describe a cyber-physical ...a functional language ...
73
Functional Programming on the GRIP multiprocessor
... parallel functional programming, but these claims can only be substantiated by ...new programming style but will have the opportunity to experience the benefits of rapid execution, on one the world’s ...
12
Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)
... Functional programming has at times been seen as an academic tool, an elegant but computation- ally expensive way of expressing basic problems like the Fibonnaci series or the Towers of Hanoi, or an obscure ...
10
Functional Programming Using the New C++ Standard
... Abstract. In our article we demonstrate that the new C++ standard is the one preferred by economists and big software companies to implement AI and decision making algorithms. Today software technology evolves very ...
6
Experiences of teaching large scale functional programming
... Jarvis, Stephen A., 1970-, Poria, S. and Morgan, R. G. (1995) Experiences of teaching large-scale functional programming. In: Hartel , Pieter H. and Plasmeijer, Rinus, (eds.) Funtional Programming ...
18
Parallel functional programming for message passing multiprocessors
... non-strict functional programming languages in [TR91], focussing on producing long threads by analysing data ...for functional languages [Ke89] intends to exploit parallelism on a network of nodes ...
134
The Conception, Evolution, and Application of Functional Programming Languages
... other functional (especially dataflow) languages have similar features, including Id, Val, and ...preserved. Functional programming advocates argue that this results in a better style of ...
87
FUNCTIONAL PROGRAMMING IN C++14
... With these elements, the programmer composes a sequence of function calls (the "pipeline") with several bind operators chained together in an expression. Each function call transforms its input plain type value, ...
6
Monads for functional programming
... Appears in: J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Proceedings of the B˚ astad Spring School, May 1995, Springer Verlag Lecture Notes in Computer Science 925. A previous version ...
31
Developing and Measuring Parallel Rule-Based Systems in a Functional Programming Environment
... This thesis work was completed at the Department of Computer Science of University College London with help from SERC in the form of a short grant. Thanks go to Chris Clack, my supervisor at UCL, and to all the members ...
273
A Programming System for\ud End-user Functional Programming
... The scheduling and development of different parts of the project was care- fully planned and documented at each of the iterative stages. The documen- tation created at each stage could then be easily referred to and used ...
340
An Analysis of the Impact of Functional Programming Techniques on Genetic Programming
... The system is implemented in Haskell 1.4 [Peterson and Hammond 1997] using the Glasgow Haskell Compiler version 2.02. Haskell is a non-strict purely functional programming lan guage. Non-strict languages ...
186
Functional programming paradigm for machine learning algorithms in data mining
... a functional alternative to the most widely used programming language in the data miningfield of machine learning: ...a functional language, it is a hybrid language, not purely functional, ...
50
A Look at Functional Programming with Standard ML - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
... A single type variable is sufficient for a function to be considered polymorphic.. A polymorphic function has an infinite number of possible instances ...[r] ...
107
Introduction to Functional Programming in Haskell 1 / 53
... For each literal, data constructor, and named function: write down the type Repeat until you know the type of the whole expression:. 1.[r] ...
53