The imperative and functional programming paradigm (original) (raw)
Related papers
Foundations of functional programming
1995
Imperative functional programming
ACM Computing Surveys, 1996
Lambda Calculus and Functional Programming
2010
Java as a Functional Programming Language
Lecture Notes in Computer Science, 2003
The Impact of the Lambda Calculus in Logic and Computer Science
Bulletin of Symbolic Logic, 1997
A call-by-name lambda-calculus machine
Higher-Order and Symbolic Computation, 2007
An Introduction to the Lambda Calculus
Lecture Notes in Computer Science
Functional programming with bananas, lenses, envelopes and barbed wire
Lecture Notes in Computer Science, 1991
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine
Lecture Notes in Computer Science, 1986
Fundamentals, Prospects and Challenges for Totally Functional Programming Style
2014
The implementation of functional programming languages
Microprocessors and Microsystems, 1987
Turing's contributions to lambda calculus
2013
2012
Straight to the heart of computer science via functional programming
1999
Implementation of Functional Languages
Lecture Notes in Computer Science, 2000
A Functional Abstract Machine for Implementation of Functional Programming Languages, Part II
Logic Programming, Functional Programming, and Inductive Definitions
2001
Formal Methods within a Totally Functional Approach to Programming
2002
Constructive Computation Theory
2002
A Functional Abstract Machine for Implementation of Functional Programming Languages, Part I
Transformations for efficient evaluations in functional programming
Programming Languages: Implementations, Logics, and Programs, 1997
Program recursive forms and programming automatization for functional languages
WSEAS Transactions on Computers archive, 2009
An Efficient Interpreter for the Lambda-Calculus
Journal of Computer and System Sciences, 1981
Springer eBooks, 2013
The Sisal model of functional programming and its implementation
Proceedings of IEEE International Symposium on Parallel Algorithms Architecture Synthesis, 1997
The Simply Typed Lambda Calculus
Lambda Calculus with Types, 2009
A ug 2 01 7 The Unfolding Semantics of Functional Programs
2018
Logic Programming with Functions and Predicates: The Language BABEL
The Journal of Logic and Algebraic Programming, 1992
Functional programming with names and necessity
2004
Recursion, Iteration and Functional Languages
1998
A simple functional language compiler
1994
Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus An Introduction
Implementing Functional Language – A Tutorial
An algebraic approach to semantics of programming languages
Theoretical Computer Science, 1994
Notes on Functional Programming with Haskell
2007