KFX (program)

KFX (program)

KFX is the kernel language of FX-87. It was described in 'Polymorphic Effect Systems', J.M. Lucassen et al, "Proceedings of the 15th Annual ACM Conference POPL", ACM 1988, pp.47-57.

compu-lang-stub

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • KFX — may refer too:* KFX, South Korean plans for development of 5th generation combat aircraft * KFX, a computer program * The Danish OMX Copenhagen 20 stock market index, known as the KFX until October 2005 …   Wikipedia

  • Korea Aerospace Industries KF-X — Demande de traduction KAI KF X → Korea Aerospace Industr …   Wikipédia en Français

  • Foothills Middle School — Infobox School2 name = Foothills Middle School motto = Nothing great was ever achieved without enthusiasm. –Ralph Waldo Emerson established = 1954 type = Middle school location= 171 E. Sycamore Ave. Arcadia, CA 91006 Phone:(626) 821 8363 Safety… …   Wikipedia

  • Republic of Korea Air Force — 대한민국 공군 (Daehanminguk Gong gun) Mark of the Republic of Korea Air Force Active October 1, 1949 – present …   Wikipedia

  • Power Wheels — is a brand of battery powered ride on toy cars for kids ages 12 months to seven years old. Power Wheels ride ons are built with kid sized, realistic features – in some cases, real working features like FM radios, opening/closing doors and hoods,… …   Wikipedia

  • Indonesian Aerospace — (IAe) Type Public limited company Industry Aerospace and Defense Founded August 23rd 1976, based on the Notary Act 15 on April 26th 1976 , Jakarta (on August 24th 2000, the company took on current name, Bandung) Headquarters …   Wikipedia

  • History of Maersk — The A. P. Moller Maersk Group ( da. A.P. Møller Mærsk Gruppen) is an international business conglomerate more commonly known simply as Maersk. cite web|url=http://about.maersk.com/en |title=Maersk Group home page |accessdate=2007 12 04… …   Wikipedia

  • Liste der Dateiendungen/K — In dieser Liste sind übliche Dateinamenserweiterungen aufgelistet, die in einigen Betriebssystemen (wie zum Beispiel Microsoft Windows) zur Unterscheidung von Dateiformaten verwendet werden. In anderen Betriebssystemen erfolgt die… …   Deutsch Wikipedia

  • Список расширений имени файла/K — / * A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Примечание: Поскольку расширение имени файла может быть любым, представленный список не является полным …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”