Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86

Dominique Clément, T. D., Kahn, G., & Despeyroux, J. (1986). Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

1986

DOI

10.1145/319838.319847

Link

https://doi.org/10.1145/319838.319847

Cited by

1 citation across 1 artifact.

Domain-specific

• Typing rule
  • … between constitutive identity and a convenient observable transfers from Function application is typed when the function has type A to B and its argument has type A, yielding result type B. to A language specification separates declarative typing rules from an algorithm that searches for or checks derivations..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:fac5ca5a2a64 · see in the full table