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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2018
05019692018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index terms are… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 8
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The persistent modification of synaptic efficacy as a function of the relative timing of pre- and postsynaptic spikes is a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Cyberspace has become a common social environment in which people interact and operate in many ways. The purpose of the present… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a minimal spiking network that can polychronize, that is, exhibit reproducible time-locked but not synchronous firing… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
We study a calculus that supports dependent programming in the style of Xi a nd Pfenning’s Dependent ML. Xi and Pfenning’s… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Finite first-order gambles are axiomatized. The representation combines features of prospect and rankdependent theories. What is… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The purpose of this study was to examine the effects of a prototype of motivationally-adaptive computer-assisted instruction (CAI… (More)
  • table 2
  • table 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Independence between individual classifiers is typically viewed as an asset in classifier fusion. We study the limits on the… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
DNA amplification is a common mechanism invoked by many human tumors to elicit overexpression of genes whose products are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper presents analytical, Monte Carlo, and empirical evidence on models for event count data. Event counts are dependent… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?