Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
Recent research in nanotechnology has led to the practical realization of nanoscale devices that behave as memristors, a device… 
2010
2010
This paper presents a new approach for calculating the capacity of multi-service CDMA networks with soft blocking using general… 
2005
2005
Molecular studies have shown that several genes with various functions are induced by environmental stresses such as drought… 
Review
2002
Review
2002
In a study of the development of process technology in the process industry, 25 potential success factors were developed and… 
Highly Cited
1994
Highly Cited
1994
Previous experiments combining the effects of exogenous oestrogens, tamoxifen (antioestrogen) and temperature have implicated… 
Review
1993
Review
1993
An overview is given of the current usage of artificial neural networks as mathematical models for non-linear calibration… 
1993
1993
Approximately forty years ago I developed the helical strip of rabbit thoracic aorta as a preparation for studies on drug… 
1991
1991
Linearized measurements of the coverage dependent desorption rates of CO from Rh(111) were made with a novel three molecular beam… 
Review
1982
Review
1982
The phenomenon of restriction and modification in bacteria was first described close to 30 years ago by Luria and Human (1952…