Add your Web Site - Languages - Miranda Add Search to your Site Search for: Internet Entire Directory Directory - Miranda Results per page: 10 20 50 Output format: Long Short URL Match: All Any Boolean Pages from: All Countries Afghanistan American Samoa Albania Algeria Andorra Angola Anguilla Antigua and Barbuda Antarctica Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Cook Islands Costa Rica Cote D'Ivoire (Ivory Coast) Croatia (Hrvatska) Cuba Cyprus Czech Republic Czechoslovakia (former) Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Eritrea Estonia Ethiopia Equatorial Guinea Falkland Islands (Malvinas) Faroe Islands Fiji Finland France France, Metropolitan French Guiana French Polynesia French Southern Territories Gabon Gambia Germany Georgia Ghana Gibraltar Great Britain (UK) Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-Bissau Guyana Haiti Heard and McDonald Islands Honduras Hungary Hong Kong Iceland India Indonesia Iran Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (North) Korea (South) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macau Macedonia Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Moldova Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles Neutral Zone New Caledonia New Zealand (Aotearoa) Northern Mariana Islands Nicaragua Niue Niger Nigeria Norfolk Island Norway Oman Pakistan Palau Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Kitts and Nevis Saint Lucia Saint Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Seychelles Sierra Leone Singapore Slovak Republic Slovenia Solomon Islands Somalia South Africa S. Georgia and S. Sandwich Isls. Spain Sri Lanka St. Pierre and Miquelon St. Helena Sudan Suriname Svalbard and Jan Mayen Islands Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United States Uruguay US Minor Outlying Islands Uzbekistan Vanuatu Vatican City State (Holy See) Venezuela Virgin Islands (British) Virgin Islands (U.S.) Viet Nam Wallis and Futuna Islands Western Sahara Yemen Yugoslavia Zaire Zambia Zimbabwe        Show pages from United States   Show all pages  DIRECTORY/Computers/Programming/Languages/Miranda (11) A Logic for Miranda, Revisited - http://www.cs.kent.ac.uk/pubs/1995/63/ - Article by Simon Thompson.   An Overview of Miranda - http://www.freaknet.org/martin/libri/Miranda/Overview.html - Article by David Turner.   From ACT-ONE to Miranda, a Translation Experiment - http://www.cs.kent.ac.uk/pubs/1997/213/ - Article by Nathan Charles and Howard Bowman and Simon Thompson.   Functional Programming - http://www.cs.ucl.ac.uk/teaching/3C11/ - An online book by Chris Clack about the Miranda functional programming language and exercises.   Miranda Functional Programming System - http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html - A few examples.   Miranda Programming Language - http://en.wikipedia.org/wiki/Miranda_programming_language - Growing article, with links to many related topics. [Wikipedia]   Miranda in Isabelle - http://www.cs.kent.ac.uk/pubs/1995/209/ - Article by Steve Hill and Simon Thompson.   Miranda: The Craft of Functional Programming - http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/ - By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent]   Programming Language Semantics Using Miranda - http://www.cs.kent.ac.uk/pubs/1995/59/ - By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]   Programming with Miranda - http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html - A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).   The Miranda Programming Language - http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html - Overview of the language, areas of application and some sample programs.    E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor This site is presented in modified Open Directory form