Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
LUCID, the dataflow programming language
LUCID, the dataflow programming language
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Proc. of a conference on Functional programming languages and computer architecture
Proc. of a conference on Functional programming languages and computer architecture
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Computer
Three approaches to type structure
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Denotational semantics of a para-functional programming language
International Journal of Parallel Programming
Arrays, non-determinism, side-effects, and parallelism: A functional perspective
Proc. of a workshop on Graph reduction
Proc. of a workshop on Graph reduction
TIM: A simple, lazy abstract machine to execute supercombinators
Proc. of a conference on Functional programming languages and computer architecture
Evaluating functional programs on the FLAGSHIP machine
Proc. of a conference on Functional programming languages and computer architecture
GRIP—A high-performance architecture for parallel graph reduction
Proc. of a conference on Functional programming languages and computer architecture
Matrix algebra and applicative programming
Proc. of a conference on Functional programming languages and computer architecture
Pomset interpretations of parallel function programs
Proc. of a conference on Functional programming languages and computer architecture
Controlling the behavior of functional language systems
Proc. of a conference on Functional programming languages and computer architecture
Proc. of a conference on Functional programming languages and computer architecture
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Nondeterminism with referential transparency in functional programming languages
The Computer Journal
Implementing functional programs on a hypercube multiprocessor
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Buckwheat: graph reduction on a shared-memory multiprocessor
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Partial polymorphic type inference and higher-order unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Graphinators and the duality of SIMD and MIMD
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An introduction to functional programming
An introduction to functional programming
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Connection Machine Lisp: fine-grained parallel symbolic processing
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
A Fortran-Compiled List-Processing Language
Journal of the ACM (JACM)
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Lucid, a nonprocedural language with iteration
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Para-functional programming: a paradigm for programming multiprocessor systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dataflow and Reduction Architectures, Selected Reprints On
Dataflow and Reduction Architectures, Selected Reprints On
Functional Programming
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A preliminary architecture for a basic data-flow processor
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
A multiple processor data flow machine that supports generalized procedures
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Highlights of the history of the lambda-calculus
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The architecture and system method of DDM1: A recursively structured Data Driven Machine
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
The semantic elegance of applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
ACM SIGPLAN Notices - Special issue: History of programming languages conference
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
Fac: functional array calculator and its application to apl and functional programming (carrier, infinite)
Multiprocessor execution of functional programs
Multiprocessor execution of functional programs
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
A programming language
Formalised development of software by machine assisted transformation
Conference proceedings on Formal methods in software development
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
Optimization of array accesses by collective loop transformations
ICS '91 Proceedings of the 5th international conference on Supercomputing
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
SISAL versus FORTRAN: a comparison using the Livermore loops
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
APL '91 Proceedings of the international conference on APL '91
Which model of programming for LISP: sequential, functional or mixed?
ACM SIGPLAN Notices
Retire Fortran? A debate rekindled
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
Retire Fortran?: a debate rekindled
Communications of the ACM
Walks into the APL design space
APL '92 Proceedings of the international conference on APL
The CTalk programming language: a strategic evolution of APL
APL '92 Proceedings of the international conference on APL
ACM Transactions on Computer Systems (TOCS)
A definition of an ISWIM-like language via scheme
ACM SIGPLAN Notices
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Functional programming languages
ACM Computing Surveys (CSUR)
A method for parallel program generation with an application to the Booster language
ICS '90 Proceedings of the 4th international conference on Supercomputing
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Genetic Programming and Evolvable Machines
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics
International Journal of Parallel Programming
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Tool support for refactoring functional programs
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Encyclopedia of Computer Science
Programming in the MPL-RM programming language
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Analysis of the use of declarative languages for enhanced embedded system software development
Proceedings of the 20th annual conference on Integrated circuits and systems design
Purely functional system configuration management
HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Automatic acquisition of inflectional lexica for morphological normalisation
Information Processing and Management: an International Journal
NixOS: a purely functional Linux distribution
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Improving Modularity of Interactive Software with the MDPC Architecture
Engineering Interactive Systems
Certifying properties of an efficient functional program for computing Gröbner bases
Journal of Symbolic Computation
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Electronic Notes in Theoretical Computer Science (ENTCS)
Capstone programming courses considered harmful
Communications of the ACM
Verification of program properties using different theorem provers: a case study
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
Lazy evaluation of PDE coefficients in the EScript system
AusPDC '10 Proceedings of the Eighth Australasian Symposium on Parallel and Distributed Computing - Volume 107
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Nixos: A purely functional linux distribution
Journal of Functional Programming
An expression processor: a case study in refactoring haskell programs
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Extending the TPTP language to higher-order logic with automated parser generation
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Towards a certified and efficient computing of gröbner bases
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
I+: A multiparadigm language for object-oriented declarative programming
Computer Languages
BaLinda Lisp: Design and implementation
Computer Languages
Anatomy of an early social networking site
BCS-HCI '11 Proceedings of the 25th BCS Conference on Human-Computer Interaction
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Computing all subtree repeats in ordered trees
Information Processing Letters
Processor design using a functional hardware description language
Microprocessors & Microsystems
LASER: a scalable response prediction platform for online advertising
Proceedings of the 7th ACM international conference on Web search and data mining
Hi-index | 0.03 |
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods: early work on lambda calculus and combinatory calculus, Lisp, Iswim, FP, ML, and modern functional languages such as Miranda1 and Haskell. The fundamental premises on which the functional programming methodology stands are critically analyzed with respect to philosophical, theoretical, and pragmatic concerns. Particular attention is paid to the main features that characterize modern functional languages: higher-order functions, lazy evaluation, equations and pattern matching, strong static typing and type inference, and data abstraction. In addition, current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.