H ? « ‹ ← → › »

Language peer sets for RUSSELL:
United States↑
United States/1970↑
Designed 1970 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Lazy Evaluation FPs ↑
Lazy Evaluation FPs↑
FPs↑
Lambda caculus ↑
Lazy Evaluation FPs/1970↑
FPs/1970↑
Lambda caculus/1970↑
Lazy Evaluation FPs/United States↑
FPs/United States↑
Lambda caculus/United States↑

RUSSELL(ID:527/rus004)

alternate simple view
Country: United States
Designed 1970
Published: 1970
Genus: Lazy Evaluation FPs

(named for the British mathematician Bertrand Russell (1872- 1970))

Boehm, Demers & Donahue. Cornell Univ and Rice Univ

A compact, polymorphically typed functional language, with bignums and continuations. Types are themselves first-class values and may be passed as arguments.

Structures:
Related languages
ML → RUSSELL   Extension of
RUSSELL → Lucinda   Influence
RUSSELL → Persimmon   Influence
RUSSELL → Poly   partially based on
RUSSELL → Xfun   Influence
References:
  • Boehm, H.; Demers, A.; Donahue, J. (1980) Boehm, H.; Demers, A.; Donahue, J. "An Informal Description of Russell", Technical Report, Computer Science Dept, TR 80-430, Cornell Univ. 1980. Extract: Russell
  • Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
  • Hook, J.G. (1984) Hook, J.G. "Understanding Russell: A First Attempt"
          in Kahn, G. D. B. MacQueen & G. Plotkin, Eds. (1984) Kahn, G. D. B. MacQueen & G. Plotkin, Eds. "Semantics of Data Types", LNCS 173, Springer 1984
  • Boehm, H.; Demers, A. J. and Donahue, J. E. (1985) Boehm, H.; Demers, A. J. and Donahue, J. E. "A Programmer's Introduction to Russell", Technical Report 85-16, Department of Computer Science, Rice University 1985
          in Kahn, G. D. B. MacQueen & G. Plotkin, Eds. (1984) Kahn, G. D. B. MacQueen & G. Plotkin, Eds. "Semantics of Data Types", LNCS 173, Springer 1984
  • Boehm, Hans-J. (1985) Boehm, Hans-J. "Partial Polymorphic Type Inference is Undecidable", Proceedings of the 8th Annual IEEE Symposium on Foundations of Computer Science, Oct. 1985, pp. 339-345.
          in Kahn, G. D. B. MacQueen & G. Plotkin, Eds. (1984) Kahn, G. D. B. MacQueen & G. Plotkin, Eds. "Semantics of Data Types", LNCS 173, Springer 1984
  • Donahue, James; Demers, Alan (1985) Donahue, James; Demers, Alan "Data types are values"
          in (1985) ACM Transactions on Programming Languages and Systems 7(3) July 1985
  • Harland, David M.; Szyplewski, Martyn W. ; Wainwri (1985) Harland, David M.; Szyplewski, Martyn W. ; Wainwright, John B. "An alternative view of polymorphism" pp23-35 Abstract DOI
          in [SIGPLAN] (1985) SIGPLAN Notices 20(10) October 1985
  • Boehm, Hans-Juergen; Demers, Alan; (1986) Boehm, Hans-Juergen; Demers, Alan; "Implementing RUSSELL" pp186-195 Abstract DOI Extract: Introduction Extract: An Overview of the Language Extract: Type Inference
          in [SIGPLAN] (1986) SIGPLAN Notices 21(07) July 1986
  • Boehm, H.-J. (1989) Boehm, H.-J. "Type inference in the presence of type abstraction" pp192-206 Abstract DOI
          in [IIT 1987] (1989) SIGPLAN Notices 24(07) July 1989 includes Proceedings of the SIGPLAN '87 symposium on Interpreters and interpretive techniques
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder