Full functional programming in a declarative Ada dialect (original) (raw)
Related papers
Implementation of Functional Languages
Lecture Notes in Computer Science, 2000
A simple functional language compiler
1994
The implementation of functional programming languages
Microprocessors and Microsystems, 1987
The Sisal model of functional programming and its implementation
Proceedings of IEEE International Symposium on Parallel Algorithms Architecture Synthesis, 1997
An intensional implementation technique for functional languages
1984
A proposal for a genuinely-lazy streams facility for Ada
Computer Languages, 1993
A single-pass syntax-directed front end for Ada
ACM SIGPLAN Notices, 1982
A Functional Abstract Machine for Implementation of Functional Programming Languages, Part II
A Functional Abstract Machine for Implementation of Functional Programming Languages, Part I
Fundamentals, Prospects and Challenges for Totally Functional Programming Style
2014
Translating functional programs to GCLA
Implementing Functional Language – A Tutorial
Sigplan Notices, 1980
FACILE: A symmetric integration of concurrent and functional programming
Lecture Notes in Computer Science, 1989
The implementation of functional languages on an object-oriented architecture
1993
The Imperative and Functional Programming Paradigm
Rinus Plasmeijer, Henk Barendregt
Fourth ACM SIGPLAN Workshop on Commercial Users of Functional Programming
2007
A Parallel Functional Language Compiler for Message-Passing Multicomputers
1998
1998
Functional low-level interpreters
2002
GPH: An Architecture Independent Functional Language
research.microsoft.com
The GNAT Project: A GNU-Ada9X Compiler
Cyrille Comar, Franco Gasperoni
2000
Implementation and Application of Functional Languages
Lecture Notes in Computer Science, 2006
Functional Programming Using the New C++ Standard
Journal of Economic Development, Environment and People, 2015
A new programming technique for lazy functional languages
Science of Computer Programming, 1995
The Use of Functional Programming in the Flagship System Software Kernel
1989
Notes on Functional Programming with Haskell
2007
From alpha to imperative code: a transformational compiler for an array-based functional language
1996
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine
Lecture Notes in Computer Science, 1986
The Intensional Transformation for Functional Languages with User-Defined Data Types
Nesting forward-mode AD in a functional framework
Barak Pearlmutter, Jeffrey Siskind
Higher-Order and Symbolic Computation, 2008
Functional programming with bananas, lenses, envelopes and barbed wire
Lecture Notes in Computer Science, 1991
Straight to the heart of computer science via functional programming
1999
Complementing Ada with other programming languages
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09, 2009