Purely functional programming

Known as: Purely functional language, Purely functional programming language, Pure functional language

In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

ASTRE is a program transformation system whose central parts are partial completion procedures. A description of ASTRE and…

2012

This dissertation discusses several problems loosely related, because they all involve a verification condition generator. The…

2003

In reverse engineering, parsing may be partially doneto extract lightweight source models. Parsing code containing preprocessing…

2001

Presents HyCom, a domain-specific language (DSL) for hypermedia authoring embedded in the language Haskell. HyCom provides a…

2000

The SGDL/Scheme language, which is an absolutely pure functional language for volume programming, is a geometric extension of…

1999

The behavior of concurrent and parallel programs can be specified in a functional style. We introduced a relational model for…

1998

Most cities in Germany regularly publish a booklet called \Mietspiegel" that allows calculating an estimate of the fair rent for…

1994

In a non-strict language, functions may return values before their arguments are available, and data structures may be defined…

1992

Simon Peyton Jones GRIP is a shared-memory multiprocessor designed for efficient parallel evaluation of functional languages…

1990

This paper considers the problems of debugging large programs written in a pure functional style by experienced functional…