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)

Related topics

Related topics

11 relations
ATSCayenne (programming language)Dependent typeEpigram

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
A Proposal for Hybrid Memristor-CMOS Spiking Neuromorphic Learning Systems
Recent research in nanotechnology has led to the practical realization of nanoscale devices that behave as memristors, a device… 
2010
2010
Evaluation of Multi-service CDMA Networks with Soft Blocking
This paper presents a new approach for calculating the capacity of multi-service CDMA networks with soft blocking using general… 
2005
2005
Molecular Studies on Stress-Responsive Gene Expression in Arabidopsis and Improvement of Stress Tolerance in Crop Plants by Regulon Biotechnology
Molecular studies have shown that several genes with various functions are induced by environmental stresses such as drought… 
Review
2002
Review
2002
Success factors for improvement and innovation of process technology in process industry
In a study of the development of process technology in the process industry, 25 potential success factors were developed and… 
1999
1999
A method for estimating distributions of mass transfer rate coefficients with application to purging and batch experiments
Highly Cited
1994
Highly Cited
1994
Masculinization of gonads by aromatase inhibitors in a turtle with temperature-dependent sex determination
Previous experiments combining the effects of exogenous oestrogens, tamoxifen (antioestrogen) and temperature have implicated… 
Review
1993
Review
1993
Tutorial review—Data processing by neural networks in quantitative chemical analysis
An overview is given of the current usage of artificial neural networks as mathematical models for non-linear calibration… 
1993
1993
The discovery of endothelium-dependent relaxation
Approximately forty years ago I developed the helical strip of rabbit thoracic aorta as a preparation for studies on drug… 
1991
1991
Coverage dependent desorption kinetics of CO from Rh(111) using time-resolved specular helium scattering
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 ATP-dependent Restriction Endonucleases
The phenomenon of restriction and modification in bacteria was first described close to 30 years ago by Luria and Human (1952… 
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)