Miranda Web Directory.


Home \| About us \| Advertise \| Contact Us

Computers > Programming > Languages > Miranda

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.

Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Computers > Programming > Languages > Miranda
Directory of Web Resources @ Expo Central : Miranda

Computers > Programming > Languages > Miranda : Categories

Computers > Programming > Languages > Miranda : Web Resources

Computers > Programming > Languages > Miranda : Web-Sites

1. A Logic for Miranda, Revisited [ Report dead link ]

Article by Simon Thompson.

http://www.cs.kent.ac.uk/pubs/1995/63/

2. An Overview of Miranda [ Report dead link ]

Article by David Turner.

http://www.freaknet.org/martin/libri/Miranda/Overview.html

3. From ACT-ONE to Miranda, a Translation Experiment [ Report dead link ]

Article by Nathan Charles and Howard Bowman and Simon Thompson.

http://www.cs.kent.ac.uk/pubs/1997/213/

4. Functional Programming [ Report dead link ]

An online book by Chris Clack about the Miranda functional programming language and exercises.

http://www.cs.ucl.ac.uk/teaching/3C11/

5. Miranda Functional Programming System [ Report dead link ]

A few examples.

http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html

6. Miranda in Isabelle [ Report dead link ]

Article by Steve Hill and Simon Thompson.

http://www.cs.kent.ac.uk/pubs/1995/209/

7. Miranda Programming Language [ Report dead link ]

Growing article, with links to many related topics. [Wikipedia]

http://en.wikipedia.org/wiki/Miranda_programming_language

8. Miranda: The Craft of Functional Programming [ Report dead link ]

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]

http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/

9. Programming Language Semantics Using Miranda [ Report dead link ]

By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]

http://www.cs.kent.ac.uk/pubs/1995/59/

10. Programming with Miranda [ Report dead link ]

A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).

http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html

Pages: [1] 2

Next Page >>

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Computers > Programming > Languages > Miranda : Web Resources

Computers

Programming

Languages

[ Home | About us | Advertise | Contact Us ]