Sponsorzy katalogu:
Centrum Rezerwacji Hoteli. Internetowy system umozliwiający dokonanie rezerwacji z natychmiastowym potwierdzeniem w ponad 500 hotelach w całej Polsce. Hotele Warszawa, hotele w Krakowie, Poznaniu, Wrocławiu i wielu innych mistach w Polsce po bardzo konkurencyjnych cenach.
Centralny System Rezerwacji Online oferuje rezerwację hoteli w całej Polsce po bezkonkurencyjnych cenach. Odwiedź www.hotele.pl i rezerwuj hotele w Polsce po super cenach !
System rezerwacji hoteli w Polsce. Szybka i intuicyjna rezerwacja, bezpieczna płatność online kartami kredytowymi i przelewami. Rezerwuj hotele w całej Polsce. W ofercie kilkaset hoteli, zarówno tych luksusowych, jak i tanich hoteli turystycznych.
| |
Tytuł strony: Functional Programming
Opis strony: An online book by Chris Clack about the Miranda functional programming language and exercises.
Adres: http://www.cs.ucl.ac.uk/teaching/3C11/
Tytuł strony: Miranda Programming Language
Opis strony: Growing article, with links to many related topics. [Wikipedia]
Adres: http://en.wikipedia.org/wiki/Miranda_programming_language
Tytuł strony: The Miranda Programming Language
Opis strony: Overview of the language, areas of application and some sample programs.
Adres: http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
Tytuł strony: Miranda: The Craft of Functional Programming
Opis strony: 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]
Adres: http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/
Tytuł strony: Programming Language Semantics Using Miranda
Opis strony: By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
Adres: http://www.cs.kent.ac.uk/pubs/1995/59/
Tytuł strony: Programming with Miranda
Opis strony: A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
Adres: http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html
Tytuł strony: From ACT-ONE to Miranda, a Translation Experiment
Opis strony: Article by Nathan Charles and Howard Bowman and Simon Thompson. <small>(May, 1997)</small>
Adres: http://www.cs.kent.ac.uk/pubs/1997/213/
Tytuł strony: Miranda in Isabelle
Opis strony: Article by Steve Hill and Simon Thompson. <small>(September, 1995)</small>
Adres: http://www.cs.kent.ac.uk/pubs/1995/209/
Tytuł strony: A Logic for Miranda, Revisited
Opis strony: Article by Simon Thompson. <small>(March, 1995)</small>
Adres: http://www.cs.kent.ac.uk/pubs/1995/63/
Tytuł strony: An Overview of Miranda
Opis strony: Article by David Turner. <small>(1986)</small>
Adres: http://www.freaknet.org/martin/libri/Miranda/Overview.html
Cytat dnia:
Najmniejsza książeczka nasuwająca piękne myśli i szlachetne uczucia, więcej jest warta od wszystkich zakurzonych ksiąg mądrości i traktatów naukowych
|
Search the Miranda category
Powered by the Free PHP ODP Script
Serwery