Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,159,916 papers from all fields of science
Search
Sign In
Create Free Account
Dependent ML
Known as:
Dependent ML programming language
Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning. Dependent ML extends ML by a restricted…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
ATS
Cayenne (programming language)
Dependent type
Epigram
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
PART-MACHINE GROUP FORMATION WITH ORDINAL-RATIO LEVEL DATA & PRODUCTION VOLUME
L. Kumar
,
P. Jain
2009
Corpus ID: 110168961
This work presents an algorithm for design of cellular manufacturing system. It considers ordinal level data and ratio level data…
Expand
2005
2005
Can Public Deliberation Democratise State Action?: Municipal Health Councils and Local Democracy in Brazil
Günther Schönleitner
2005
Corpus ID: 55060827
Within the debate about decentralisation, democratisation, and the role of civil society in bringing about effective democratic…
Expand
2002
2002
A Product Theorem for Markov Chains with Application to PF-Queueing Networks
G. Tsitsiashvili
,
M. Osipova
,
N. V. Koliev
,
D. Baum
Annals of Operations Research
2002
Corpus ID: 1857013
Queueing networks in random environments represent more realistic models of computer and telecommunication systems than classical…
Expand
1996
1996
MAGNETIC ANISOTROPY OF CO ON CU(1 1 17)
W. Wulfhekel
,
S. Knappmann
,
H. Oepen
1996
Corpus ID: 62819251
The in‐plane magnetic anisotropy of ultra‐thin Co films, epitaxially grown on Cu(1 1 17), was determined in situ by means of the…
Expand
1993
1993
The discovery of endothelium-dependent relaxation
R. Furchgott
1993
Corpus ID: 77445339
Approximately forty years ago I developed the helical strip of rabbit thoracic aorta as a preparation for studies on drug…
Expand
1993
1993
Dampening Status Influence Using a Group Support System: An Empirical Study
Bernard C. Y. Tan
,
K. Wei
,
R. Watson
International Conference on Interaction Sciences
1993
Corpus ID: 15765068
This study investigates the effects of a GSS and task type on status influence in a group decision making setting. Three support…
Expand
Review
1987
Review
1987
Sex determination and sexual differentiation in reptiles
W. H. Gutzke
1987
Corpus ID: 84180036
Sex determination and sexual differentiation in vertebrates have received a great deal of attention in the past few decades. The…
Expand
Review
1982
Review
1982
The ATP-dependent Restriction Endonucleases
T. Bickle
1982
Corpus ID: 81539314
The phenomenon of restriction and modification in bacteria was first described close to 30 years ago by Luria and Human (1952…
Expand
1975
1975
COMPARISON OF EFFECTIVENESS OF VARIOUS MEASURES OF SOCIOECONOMIC STATUS IN MODELS OF TRANSPORTATION BEHAVIOR
T. Tardiff
1975
Corpus ID: 111596115
Socioeconomic status is often theorized to be associated with variables measuring transportation behavior, and, income is the…
Expand
1961
1961
A COMPARISON OF ISOLATION EFFECTS AND THEIR PERSONALITY CORRELATES IN TWO DIVERGENT SAMPLES
L. Goldberger
,
R. Holt
1961
Corpus ID: 141631766
Abstract : Findings are reported from a pair of replicated studies using male subjects and conditions of perceptual isolation…
Expand