Miranda


Also found in: Dictionary, Wikipedia.
Related to Miranda: Miranda rights

Miranda,

in astronomy, one of the moons, or natural satellites, of UranusUranus
, in astronomy, 7th planet from the sun, at a mean distance of 1.78 billion mi (2.87 billion km), with an orbit lying between those of Saturn and Neptune; its period of revolution is slightly more than 84 years.
..... Click the link for more information.
.
The Columbia Electronic Encyclopedia™ Copyright © 2013, Columbia University Press. Licensed from Columbia University Press. All rights reserved. www.cc.columbia.edu/cu/cup/

Miranda

(mi-ran -dă) A satellite of Uranus, discovered in 1948 by G.P. Kuiper. A relatively small satellite with a diameter of 470 km, it orbits its primary once every 1.4 days at a mean distance of 129 000 km. Only half of Miranda's surface was available for study from Voyager 2 in 1986 (the northern hemisphere was in darkness) but a complex surface structure was revealed. Several distinct types of terrain exist: old cratered plains, younger brighter areas with cliffs and scarps, and regions of enclosed grooved areas about 200–300 km across. These features occupy distinct portions of the satellite, leading to the theory that Miranda was shattered by a collision and then subsequently reassembled into a single body. See Uranus' satellites; Table 2, backmatter.
Collins Dictionary of Astronomy © Market House Books Ltd, 2006

Miranda

[mə′ran·də]
(astronomy)
A satellite of Uranus orbiting at a mean distance of 76,880 miles (124,000 kilometers).
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

Miranda

innocent and noble-minded daughter of Prospero. [Br. Lit.: The Tempest]
Allusions—Cultural, Literary, Biblical, and Historical: A Thematic Dictionary. Copyright 2008 The Gale Group, Inc. All rights reserved.

Miranda

(language)
(From the Latin for "admirable", also the heroine of Shakespeare's "Tempest") A lazy purely functional programming language and interpreter designed by David Turner of the University of Kent in the early 1980s and implemented as a product of his company, Research Software Limited. Miranda combines the main features of KRC and SASL with strong typing similar to that of ML.

It features terse syntax using the offside rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. It has nested pattern-matching, list comprehensions and modules. It uses operator sections rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by laws.

It is implemented using SKI combinator reduction. Originally implemented for Unix, there are versions for most UNIX-like platforms including Intel PC under Linux. The KAOS operating system is written entirely in Miranda.

Translators from Miranda to Haskell (mira2hs) and to LML (mira2lml) are available at http://foldoc.org/pub/misc. Non-commercial near-equivalents of Miranda include Miracula and Orwell.

http://miranda.org.uk/.

["Miranda: A Non Strict Functional Language with Polymorphic Types", D.A. Turner, in Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985].

["An Overview of Miranda", D. A. Turner, SIGPLAN Notices, 21(12):158--166, December 1986].

["Functional Programming with Miranda", Ian Holyer, Pitman Press 0-273-03453-7].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
While being married for over four years now, Chito Miranda still could not believe that actress-entrepreneur Neri Naig is his wife.
In its petition before the SC, the Ombudsman insisted that Miranda along with his four co-accused Marine personnel conspired to defraud the government through fictitious grant of CCIE allowances to supposed enlisted members of the Marine Corps.
How a student came into possession of the topless selfie remains unknown, but Miranda, 25, has since been fired from her job with the Long Island school district.
twitter.com/Ua8K4NuLzM Lin-Manuel Miranda (@Lin_Manuel) January 1, 2019 Lechon is a whole roasted pig, often served at parties and festivals in Spain, Latin America, including Caribbean countries like the Dominican Republic and Puerto Rico, as well as in the Philippines.
They are renovating the ramshackle country house owned by Miranda's late parents, which has always hosted the family's Christmas get-togethers.
El estudio de la historia y la ficcion a proposito de la tesis Indagacion etica y re-interpretacion del pasado en la novela historica latinoamericana actual, enmarcada en el periodo de la emancipacion latinoamericana en dos autores de nuestro continente, tales como, Denzil Romero (1938-1999) y Mario Szichman (1945), propicia, en este caso, como lectora de novelas historicas, no solo una mirada ficticia de la vida de los heroes Simon Bolivar (1783-1830) y Francisco de Miranda (1750-1816), sino tambien una consulta que me devuelve a la historia.
Lin-Manuel Miranda, the celebrated singer and composer behind Hamilton, In The Heights, and most recently, Moana, has many well-known links to the Jewish community.
Miranda's previous practice experience involved reviewing depositions in asbestos litigation, researching intricacies of asbestos bankruptcy trusts and assisting in estimating settlement values in asbestos litigation.
BANKING AND CREDIT NEWS-December 6, 2017-American Express and Lin-Manuel Miranda help communities impacted by recent hurricanes
M2 EQUITYBITES-December 6, 2017-American Express and Lin-Manuel Miranda help communities impacted by recent hurricanes