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… 
2010
2010
Application of a statistical compact model for Random Telegraph Noise to scaled-SRAM Vmin analysis
A statistical compact RTN (Random Telegraph Noise) model with a fixed V<inf>th</inf> shift and V<inf>gs</inf> dependent trap time… 
2005
2005
The Antidiabetic Agent Rosiglitazone Upregulates SERCA2 and Enhances TNF-α- and LPS-Induced NF-κB-Dependent Transcription and TNF-α-Induced IL-6 Secretion in Ventricular Myocytes
Positive hemodynamic effects of the antidiabetic agent rosiglitazone on perfused whole hearts have recently been described, but… 
Highly Cited
2002
Highly Cited
2002
Polarity-dependent dielectric breakdown-induced epitaxy (DBIE) in Si MOSFETs
The physical evidence describing the structural deformation at the failure site of soft breakdowns (SBDs) in the 33-/spl Aring… 
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… 
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)