FAD, a functional programming language that supports abstract data types

Authors:
Johannes J. Martin
Affiliations:
-
Venue:
ACM '80 Proceedings of the ACM 1980 annual conference
Year:
1980

Citing 6
Cited 0

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
Some extensions to algebraic specifications

Proceedings of an ACM conference on Language design for reliable software
The specification and application to programming of abstract data types.

The specification and application to programming of abstract data types.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
A programming language

A programming language

Quantified Score

Hi-index	0.01

Visualization

Abstract

The paper outlines the programming language FAD. FAD is a functional programming system of the kind described by Backus (Backus78]. FAD supports abstract data types, parameterized types, and generic functions. A single scope rule establishes the encapsulation requirements for data type specification and program structuring. Certain syntactic additions improve program readability as compared to pure functional notation.