H ? « ‹ ← → › »

Language peer sets for IFX:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

IFX(ID:1490/ifx001)

alternate simple view
Country: United States
Designed 1989
Published: 1989

Hybrid of generic and first class polymorphic data typing approaches
Related languages
FX-89 → IFX   Incorporated some features of
ML → IFX   Extension of
References:
  • O'Toole J. et al, (1989) O'Toole J. et al, "Type Reconstruction with First-Class Polymorphic Values" pp207-217 Abstract DOI Extract: Combining Generic and First-Class Polymorphism Extract: Previous Work Extract: IFX: A Typed Language
          in [IIT 1987] (1989) SIGPLAN Notices 24(07) July 1989 includes Proceedings of the SIGPLAN '87 symposium on Interpreters and interpretive techniques
  • O'Toole, James William, Jr., Type Reconstruction w (1989) O'Toole, James William, Jr., Type Reconstruction with First Class Polymorphic Values, MIT/LCS/TM-380, 1989.
          in [IIT 1987] (1989) SIGPLAN Notices 24(07) July 1989 includes Proceedings of the SIGPLAN '87 symposium on Interpreters and interpretive techniques
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder