Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,612,115 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
Algebraic data type
Arbitrary-precision arithmetic
Clean
Comment (computer programming)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Examining Application of Aggregated and Disaggregated Poisson–Gamma Models Subjected to Low Sample Mean Bias
D. Lord
,
Maneesh Mahlawat
2009
Corpus ID: 9044925
Two general classes of models have been proposed for modeling crash data: disaggregated (both with and without time trend) and…
Expand
2007
2007
Implementing Service-Learning in Undergraduate Adapted Physical Education
Jason C. Bishop
,
S. Driver
2007
Corpus ID: 72681957
(2007). Implementing Service-Learning in Undergraduate Adapted Physical Education. Journal of Physical Education, Recreation…
Expand
Review
2004
Review
2004
Relationships between cluster root-bearing taxa and laterite across landscapes in southwest Western Australia: an approach using airborne radiometric and digital elevation models
W. Verboom
,
J. Pate
Plant and Soil
2004
Corpus ID: 25872245
As part of a general soil and regolith mapping exercise across cleared and remnant bush land, radiometric data for distribution…
Expand
2004
2004
Solving Optimal Switching Models
P. Fackler
2004
Corpus ID: 26763353
Numerous control problems in economics can be characterized as optimal switching problems, including optimal stopping and entry…
Expand
2004
2004
Fish Populations Associated with Habitat-Modified Piers and Natural Woody Debris in Piedmont Carolina Reservoirs
Robert D. Barwick
,
T. Kwak
,
R. Noble
,
D. H. Barwick
2004
Corpus ID: 10525498
Abstract A primary concern associated with reservoir shoreline residential development is reduction of littoral habitat…
Expand
2002
2002
Kinetic, infrared, and X-ray absorption studies of adsorption, desorption, and reactions of thiophene on H-ZSM5 and Co/H-ZSM5
Sara Y. Yu
,
J. García‐Martínez
,
Wei Li
,
G. Meitzner
,
E. Iglesia
2002
Corpus ID: 10163318
Temperature programmed desorption and infrared and X-ray absorption near-edge spectroscopies were used during adsorption and…
Expand
Review
2001
Review
2001
Identificação sorológica de espécies de vírus que infetam cucurbitáceas em áreas produtoras do Maranhão
M. D. C. Moura
,
J. A. A. Lima
,
V. B. D. Oliveira
,
M. F. Gonçalves
2001
Corpus ID: 85297293
Viruses represent serious obstacles for the success of producing vegetables, consisting the correct identification of those that…
Expand
1999
1999
Criterios básicos para una política de prevención y control de drogas en Chile
G. Sunkel
,
Martín Hopenhayn
,
Ibán de Rementería
1999
Corpus ID: 161748876
Resumen En el Chile actual el problema de las drogas no solo se reconoce y se enfrenta, sino tambien se politiza y polemiza…
Expand
Highly Cited
1983
Highly Cited
1983
Proving the Correctness of Digital Hardware Designs
H. Barrow
AAAI Conference on Artificial Intelligence
1983
Corpus ID: 1181929
VERIFY is a PROLOG program that attempts to prove the correctness of a digital design. It does so by showing that the behavior…
Expand
Highly Cited
1947
Highly Cited
1947
A directional change in the genetic constitution of a natural population of Drosophila pseudoobscura
T. Dobzhansky
Heredity
1947
Corpus ID: 22421719
A directional change in the genetic constitution of a natural population of Drosophila pseudoobscura
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)
ACCEPT & CONTINUE