Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,391,227 papers from all fields of science
Search
Sign In
Create Free Account
FX-87
Known as:
KFX
, KFX (program)
FX-87 is a polymorphic typed functional language based on a system for static program analysis in which every expression has two static properties: a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
1 relation
Side effect (computer science)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Peran Diplomasi Pertahanan Dalam Implementasi Kebijakan Kerja Sama Program KFX/IFX Indonesia-Korea Selatan
Indra Nurrohman
,
Dadang Gunawan
,
Sutrimo Sumarlan
2019
Corpus ID: 182427057
Abstrak -- Implementasi kebijakan kerja sama program KFX/IFX mengalami penundaan dikarenakan adanya kendala pada ketersediaan…
Expand
2017
2017
Risk Assessment in Developing KFX/IFX Fighter
Jurnal Pertahanan
,
Bilqis Fitria Salsabiela
,
Wayan Midhio
,
Gita Amperiawan
2017
Corpus ID: 169127796
This article is about the activity of risk assessment in developing KFX/IFX Fighters through joint development cooperation…
Expand
2017
2017
RISK ASSESSMENT PENGEMBANGAN PESAWAT TEMPUR KFX/IFX PADA KERJASAMA JOINT DEVELOPMENT ANTARA INDONESIA DENGAN KOREA SELATAN
Bilqis Fitria Salsabiela
2017
Corpus ID: 168803451
Abstrak – Studi ini membahas tentang risk assessment pengembangan Pesawat Tempur KFX/IFX dalam kerjasama joint development antara…
Expand
2016
2016
Coherent Computational Analysis of Large-Scale Explosions and Fires in Complex Geometries – From Combustion Science to a Safer Oil and Gas Industry
Erik Rian Kjell
,
T. Evanger
,
+4 authors
F. M. Bjørn
2016
Corpus ID: 55185758
The present paper demonstrates and discusses the development of a coherent technology for both gas explosion and fire safety…
Expand
Highly Cited
2013
Highly Cited
2013
A Kalman Filter Approach for Exploiting Bluetooth Traffic Data When Estimating Time-Dependent OD Matrices
J. Barceló
,
L. Montero
,
M. Bullejos
,
Oriol Serch
,
C. Carmona
Journal of Intelligent Transportation Systems…
2013
Corpus ID: 6323521
Time-dependent origin–destination (OD) matrices are essential input for dynamic traffic models such as microscopic and mesoscopic…
Expand
2013
2013
Computational Analysis of Large-scale Fires in Complex Geometries - a Means to Safeguard People and Structural Integrity in the Oil and Gas Industry
E. Cal
,
Ng Tran
,
+5 authors
B. E. Vembe
2013
Corpus ID: 55977523
Computational Analysis of Large-Scale Fires in Complex Geometries – a Means to Safeguard People and Structural Integrity in the…
Expand
2011
2011
Numerical modeling of pool spreading, heat transfer and evaporation in liquefied natural gas (LNG)
Øystein Myrmo
2011
Corpus ID: 108170912
This master's thesis is a continuation of previous theses written at ComputIT AS. It treats heat transfer to LNG pools boiling on…
Expand
2004
2004
Price and Volume Effects Associated with Changes in the Danish Blue-Chip Index - the Kfx Index
K. Bechmann
2004
Corpus ID: 15841513
The Danish blue-chip index - the KFX Index - provides an interesting case for studying the effects of changes in a stock market…
Expand
1988
1988
The FX-87 Interpreter
P. Jouvelot
,
D. Gifford
Proceedings. International Conference on…
1988
Corpus ID: 27089757
The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static…
Expand
1987
1987
FX-87 Reference Manual. Edition 1.0.
D. Gifford
,
P. Jouvelot
,
J. Lucassen
,
Mark A. Sheldon
1987
Corpus ID: 60292371
Abstract : The FX programming language is designed to support the parallel implementation of applications that perform both…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required