FP: A Functional Programming System

E1542593 UNEXPLORED

FP: A Functional Programming System is a programming language and framework introduced by John Backus to exemplify and promote a purely functional, algebraic approach to program construction as an alternative to the von Neumann style.

Try in SPARQL Jump to: Surface forms Disambiguation Referenced by

All labels observed (1)

Label	Occurrences
FP: A Functional Programming System canonical	1

How this entity was disambiguated

This entity first appeared as the object of triple T22552228 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: FP: A Functional Programming System
Context triple: [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, relatedWork, FP: A Functional Programming System]

A. The Implementation of Functional Programming Languages
The Implementation of Functional Programming Languages is a foundational textbook that systematically explains how to design and implement compilers and runtime systems for lazy functional languages.
B. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
"Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" is a landmark 1977 paper that introduced and advocated for functional programming as an alternative to traditional von Neumann architectures, laying theoretical foundations for modern functional languages.
C. Landin’s SECD machine
Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
D. ACM SIGPLAN International Conference on Functional Programming
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a leading annual research conference focused on the design, implementation, theory, and application of functional programming languages and paradigms.
E. Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: FP: A Functional Programming System
Target entity description: FP: A Functional Programming System is a programming language and framework introduced by John Backus to exemplify and promote a purely functional, algebraic approach to program construction as an alternative to the von Neumann style.

A. The Implementation of Functional Programming Languages
The Implementation of Functional Programming Languages is a foundational textbook that systematically explains how to design and implement compilers and runtime systems for lazy functional languages.
B. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
"Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" is a landmark 1977 paper that introduced and advocated for functional programming as an alternative to traditional von Neumann architectures, laying theoretical foundations for modern functional languages.
C. Landin’s SECD machine
Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
D. ACM SIGPLAN International Conference on Functional Programming
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a leading annual research conference focused on the design, implementation, theory, and application of functional programming languages and paradigms.
E. Hindley–Milner type system
The Hindley–Milner type system is a classical polymorphic type system used in many functional programming languages, notable for enabling type inference without explicit type annotations.
F. None of above. chosen

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs → relatedWork → FP: A Functional Programming System ⓘ

All labels observed (1)

How this entity was disambiguated Show

Referenced by (1)

How this entity was disambiguated