Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Miranda_(programming_language)> ?p ?o }
- Miranda_(programming_language) abstract "Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported.Miranda was first released in 1985, as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. The later Haskell programming language is similar in many ways to Miranda.".
- Miranda_(programming_language) designer David_Turner_(computer_scientist).
- Miranda_(programming_language) influenced Clean_(programming_language).
- Miranda_(programming_language) influenced Haskell_(programming_language).
- Miranda_(programming_language) influencedBy Hope_(programming_language).
- Miranda_(programming_language) influencedBy Kent_Recursive_Calculator.
- Miranda_(programming_language) influencedBy ML_(programming_language).
- Miranda_(programming_language) influencedBy SASL_(programming_language).
- Miranda_(programming_language) wikiPageExternalLink bignum.sourceforge.net.
- Miranda_(programming_language) wikiPageExternalLink medialab.freaknet.org.
- Miranda_(programming_language) wikiPageExternalLink miranda.org.uk.
- Miranda_(programming_language) wikiPageExternalLink amanda.html.
- Miranda_(programming_language) wikiPageID "93267".
- Miranda_(programming_language) wikiPageLength "9730".
- Miranda_(programming_language) wikiPageOutDegree "57".
- Miranda_(programming_language) wikiPageRevisionID "664784330".
- Miranda_(programming_language) wikiPageWikiLink Algebraic_data_type.
- Miranda_(programming_language) wikiPageWikiLink Arbitrary-precision_arithmetic.
- Miranda_(programming_language) wikiPageWikiLink C_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Category:Declarative_programming_languages.
- Miranda_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Miranda_(programming_language) wikiPageWikiLink Clean_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Comment_(computer_programming).
- Miranda_(programming_language) wikiPageWikiLink Currying.
- Miranda_(programming_language) wikiPageWikiLink Data_type.
- Miranda_(programming_language) wikiPageWikiLink David_Turner_(computer_scientist).
- Miranda_(programming_language) wikiPageWikiLink Declaration_(computer_programming).
- Miranda_(programming_language) wikiPageWikiLink Declaration_(computer_science).
- Miranda_(programming_language) wikiPageWikiLink Declarative_programming.
- Miranda_(programming_language) wikiPageWikiLink Equation.
- Miranda_(programming_language) wikiPageWikiLink File:Miranda_logo.jpg.
- Miranda_(programming_language) wikiPageWikiLink First-class_function.
- Miranda_(programming_language) wikiPageWikiLink Floating_point.
- Miranda_(programming_language) wikiPageWikiLink Function_(mathematics).
- Miranda_(programming_language) wikiPageWikiLink Functional_programming.
- Miranda_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Hope_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink ISWIM.
- Miranda_(programming_language) wikiPageWikiLink Imperative_programming.
- Miranda_(programming_language) wikiPageWikiLink Kent_Recursive_Calculator.
- Miranda_(programming_language) wikiPageWikiLink Lazy_evaluation.
- Miranda_(programming_language) wikiPageWikiLink List_(abstract_data_type).
- Miranda_(programming_language) wikiPageWikiLink List_(computing).
- Miranda_(programming_language) wikiPageWikiLink List_comprehension.
- Miranda_(programming_language) wikiPageWikiLink Literate_programming.
- Miranda_(programming_language) wikiPageWikiLink ML_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Modular_programming.
- Miranda_(programming_language) wikiPageWikiLink Module_(programming).
- Miranda_(programming_language) wikiPageWikiLink Occam_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Off-side_rule.
- Miranda_(programming_language) wikiPageWikiLink Parameter_(computer_programming).
- Miranda_(programming_language) wikiPageWikiLink Parameter_(computer_science).
- Miranda_(programming_language) wikiPageWikiLink Parsing.
- Miranda_(programming_language) wikiPageWikiLink Pascal_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Programming_language.
- Miranda_(programming_language) wikiPageWikiLink Purely_functional.
- Miranda_(programming_language) wikiPageWikiLink Python_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink Record_(computer_science).
- Miranda_(programming_language) wikiPageWikiLink SASL_(programming_language).
- Miranda_(programming_language) wikiPageWikiLink SASL_programming_language.
- Miranda_(programming_language) wikiPageWikiLink Set_(mathematics).
- Miranda_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- Miranda_(programming_language) wikiPageWikiLink Static_typing.
- Miranda_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Miranda_(programming_language) wikiPageWikiLink Strong_typing.
- Miranda_(programming_language) wikiPageWikiLink Strongly_typed_programming_language.
- Miranda_(programming_language) wikiPageWikiLink Tuple.
- Miranda_(programming_language) wikiPageWikiLink Type_inference.
- Miranda_(programming_language) wikiPageWikiLink Type_system.
- Miranda_(programming_language) wikiPageWikiLink Unix.
- Miranda_(programming_language) wikiPageWikiLinkText "Miranda (programming language)".
- Miranda_(programming_language) wikiPageWikiLinkText "Miranda".
- Miranda_(programming_language) designer David_Turner_(computer_scientist).
- Miranda_(programming_language) developer "Research Software Ltd".
- Miranda_(programming_language) hasPhotoCollection Miranda_(programming_language).
- Miranda_(programming_language) implementations "Miranda".
- Miranda_(programming_language) influenced Clean_(programming_language).
- Miranda_(programming_language) influenced Haskell_(programming_language).
- Miranda_(programming_language) influencedBy Hope_(programming_language).
- Miranda_(programming_language) influencedBy Kent_Recursive_Calculator.
- Miranda_(programming_language) influencedBy ML_(programming_language).
- Miranda_(programming_language) influencedBy SASL_(programming_language).
- Miranda_(programming_language) influencedBy SASL_programming_language.
- Miranda_(programming_language) logo File:Miranda_logo.jpg.
- Miranda_(programming_language) name "Miranda".
- Miranda_(programming_language) paradigm Declarative_programming.
- Miranda_(programming_language) paradigm Functional_programming.
- Miranda_(programming_language) paradigm Lazy_evaluation.
- Miranda_(programming_language) typing Static_typing.
- Miranda_(programming_language) typing Strong_and_weak_typing.
- Miranda_(programming_language) typing Strong_typing.
- Miranda_(programming_language) typing Type_system.
- Miranda_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Miranda_(programming_language) wikiPageUsesTemplate Template:Official_website.
- Miranda_(programming_language) subject Category:Declarative_programming_languages.
- Miranda_(programming_language) subject Category:Functional_languages.
- Miranda_(programming_language) type ProgrammingLanguage.
- Miranda_(programming_language) type Software.
- Miranda_(programming_language) type Work.
- Miranda_(programming_language) type CreativeWork.