Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Use the vertical zoom bar to the left in order to zoom in and out.

Try being really specific: e.g. Sydney Opera House or your address and country. Then zoom right in and try satellite view. Drag the map to move around.


World Gazetteer Results for Miranda:
NameMiranda
Geographical TypeEstado
Population2497809
CountryVenezuela
Dictionary Results for Miranda:
1. The Free On-line Dictionary of Computing (30 December 2018)
Miranda

    (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.

   There are translators from Miranda to Haskell mira2hs
   (/pub/misc/mira2hs) and to LML mira2lml (/pub/misc/mira2lml).
   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].

   (2007-03-22)


2. U.S. Gazetteer Places (2000)
Miranda, PR -- U.S. comunidad in Puerto Rico
   Population (2000):    2057
   Housing Units (2000): 711
   Land area (2000):     1.808395 sq. miles (4.683721 sq. km)
   Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
   Total area (2000):    1.808395 sq. miles (4.683721 sq. km)
   FIPS code:            53678
   Located within:       Puerto Rico (PR), FIPS 72
   Location:             18.386437 N, 66.381745 W
   ZIP Codes (1990):    
   Note: some ZIP codes may be omitted esp. for suburbs.
   Headwords:
    Miranda, PR
    Miranda


Common Misspellings >
Most Popular Searches: United States Maps, World Maps, Florida State Maps, Road Maps, City Maps, Satellite Maps, Europe Maps, California Maps, Travel Maps, Texas Maps, Mexico Maps, Italy Maps, Africa Maps, USA Maps, Street Maps, Canada Maps, US Maps, Georgia Maps, China Maps, Germany Maps, 94087 Maps, North Carolina Maps Satellite Maps, Satellite Image, Satellite Images, Satellite Photo, Satellite Photos, Weather Network, National Weather Service, NOAA Weather, Local Weather, Akurnes Ic Iceland Weather, Sunnyvale US Weather, 97110 Weather, New York Weather, Weather San Jose Ca, Weather Report, Weather Forecast, Weather Radar, San Francisco Weather, Toronto Weather. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy