Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,101 papers from all fields of science
Search
Sign In
Create Free Account
ALF
Known as:
Algebraic Logic Functional (programming language)
, Algebraic logic functional programming language
Algebraic Logic Functional programming language, also known as ALF, is a programming language which combines functional and logic programming…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Comparison of multi-paradigm programming languages
Functional programming
Horn clause
List of programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Herbal Medicine-A Review Article
Narinder Kumar
,
P. Chibber
,
Surjeet Singh
,
Sumer Singh
,
Gd Singh
2017
Corpus ID: 53423082
Herbal and dietary supplements are generally used all over the World. There is a tendency or act for under reporting their intake…
Expand
2017
2017
12 Role of Liver Transplantation in Acute Liver Failure
S. Alqahtani
,
A. Larson
2017
Corpus ID: 33140356
Review
2013
Review
2013
YPOTHERMIA IN A CUTE L IVER F AILURE
R. Jalan
,
C. Rose
2013
Corpus ID: 29658466
The development of encephalopathy in patients with acute liver injury defines the occurrence of liver failure. The encephalopathy…
Expand
2011
2011
Defining MARTE's VSL as an extension of Alf
A. Cuccuru
,
S. Gérard
,
F. Terrier
ACM/IEEE International Conference on Model Driven…
2011
Corpus ID: 40376635
VSL and Alf are two OMG standards providing a textual notation for complex mathematical expressions and detailed activities…
Expand
2007
2007
The effect of solidification variables on the microstructure of hypereutectic Al-Si alloys
M. Faraji
2007
Corpus ID: 138864573
In this work, the effect of phosphorus, as a primary silicon refiner, and of strontium, as a eutectic silicon modifier…
Expand
2003
2003
Carbon-nitrogen chain molecules in the laboratory and in interstellar medium
R. Kołos
2003
Corpus ID: 93309322
Review
2001
Review
2001
An investigation of the nature of the Church through an analysis of selected email-based Christian online communities
Heidi A. Campbell
2001
Corpus ID: 151771635
This thesis investigates Christian online communities, with special emphasis on studying the nature of community and cyberspace…
Expand
1996
1996
Proof Representation in Type Theory: State of the Art
C. Esar
,
Mu Noz
1996
Corpus ID: 8075261
In the frame of intuitionistic logíc and type theory, it is well known that there is an isomorphism between types and…
Expand
1994
1994
A minimal-copy network interface architecture supporting ILP and ALF
B. Ahlgren
,
P. Gunningberg
1994
Corpus ID: 60616721
The memory bandwidth is one of the major performance bottlenecks Dav91, LA93, DAPP93, DWB + 93, ST93] limiting high-speed…
Expand
1970
1970
Bibliography of Diseases and Parasites of Marine Fish and Shellfish (With Emphasis on Commercially Important Species)
C. Sindermann
1970
Corpus ID: 81989692