Functional Programming
12,374 Followers
Recent papers in Functional Programming
Meta-programming languages provide infrastructure to generate and execute object programs at run-time. In a typed setting, they contain a modal type constructor which classifies object code. These code types generally come in two flavors:... more
The motivation and the basic issues for designing the programming system - ELa, that allowed combination of different programming paradigms is presented in the part one of this paper. In the ELa system distinct styles of programming... more
WASH makes server-side Web programming as easy as programming a stand-alone application with an XHTML-based GUI. Starting from an interaction graph model of the application where nodes model web pages and edges correspond to form... more
Chris Okasaki showed how to implement red-black trees in a functional programming language. Ralf Hinze incorporated even the invariants of such data structures into their types, using higher-order nested datatypes. We show how one can... more
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results from taking advantage of this opportunity in a two-semester... more
* € (D) sind gebundene Ladenpreise in Deutschland und enthalten 7% MwSt; € (A) sind gebundene Ladenpreise in Österreich und enthalten 10% MwSt. CHF und die mit ** gekennzeichneten Preise für elektronische Produkte sind unverbindliche... more
Thanks to more powerful hardware and a new generation of learning algorithms, artificial intelligence is supporting the automation of a number of tasks and activities that are changing the job landscape as much as they have impacted on... more
These are the slides for a talk that we gave on April 19, 2017 at the Canberra Functional Programming Group. It is a work in progress, so comments and feedback are welcome.
Este libro evolucionó a partir del material preparado para las clases de la materia «Programación Funcional», impartida para la Carrera de Licenciatura en Ciencias de la Computación de la Universidad Centroamericana «José Simeón Cañas».... more
The aim of this study is to compare the two non-imperative languages: Logic Programming and Functional Programming, This paper contains information about each language including an overview of these program languages, and the use of them,... more
Roughly classified as social science. General list of master functions.
Starting at a seminal paper published by J. Jaffar and J.L. Lassez in 1987 [JL87], Constraint Logic Programming (CLP) has developed as a powerful programming paradigm which supports a clean combination of logic (in the form of Horn... more
This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The relationship to the... more
in this article we deal with DSL (domain specific language) ,internal or external DSL. We present terminology and expression about DSL and after that we present differences between Internal and External DSL and make example with them show... more
This report is written as a post-mortem of a project that has, perhaps, been the author’s most extensive personal project: creating a complete and comprehensive solution to one of the most famous programming problem sets in the modern... more
Workflow languages are a form of high-level programming language designed for coordinating tasks implemented by different pieces of software, often executed across multiple computers using technologies such as web services. Advantages of... more
The programming language LISPKIT LISP is the one dialect of the programming language LISP. In this paper was described the one implementation of the translator of LISPKIT Lisp-language to SECD-machine language. The implementation is... more