Miranda

Known as: Miranda language, Miranda programming language 
Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
The paper reviews and extends an emerging body of theoretical results on deep learning including the conditions under which it… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2015
Highly Cited
2015
The evolution of eusociality is one of the major transitions in evolution, but the underlying genomic changes are unknown. We… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Michael S. Lawrence*, Petar Stojanov*, Paz Polak*, Gregory V. Kryukov, Kristian Cibulskis, Andrey Sivachenko, Scott L. Carter… (More)
  • figure 2
  • table 6
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Orit Rozenblatt-Rosen*, Rahul C. Deo*, Megha Padi*, Guillaume Adelmant*, Michael A. Calderwood, Thomas Rolland, Miranda Grace, Am… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, we present a predictive control algorithm that uses a state-space model. Based on classical control theory, an… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2009
Highly Cited
2009
By John Haltiwanger University of Maryland and NBER Ron S Jarmin U.S. Census Bureau Javier Miranda U.S. Census Bureau October… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Hematopoiesis is a carefully controlled process that is regulated by complex networks of transcription factors that are, in part… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
New digital musical instruments : control and interaction beyond the keyboard / by Eduardo Miranda and Marcelo Wanderley. p. cm… (More)
Is this relevant?
1995
1995
This paper expands upon work begun in [Tho89], in building a logic for the Miranda functional programming language. After… (More)
Is this relevant?
1989
1989
We formulate a logical description of the functional programming language Miranda. Distinctive features include a full treatment… (More)
Is this relevant?