Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/MacroML> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- MacroML abstract "MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.".
- MacroML wikiPageExternalLink 440438.html.
- MacroML wikiPageExternalLink 643840.html.
- MacroML wikiPageID "2525770".
- MacroML wikiPageLength "982".
- MacroML wikiPageOutDegree "12".
- MacroML wikiPageRevisionID "574576313".
- MacroML wikiPageWikiLink Category:Experimental_programming_languages.
- MacroML wikiPageWikiLink Category:ML_programming_language_family.
- MacroML wikiPageWikiLink Category:Metaprogramming.
- MacroML wikiPageWikiLink CiteSeer.
- MacroML wikiPageWikiLink ML_(programming_language).
- MacroML wikiPageWikiLink Macro_(computer_science).
- MacroML wikiPageWikiLink Programming_language.
- MacroML wikiPageWikiLink Scheme_(programming_language).
- MacroML wikiPageWikiLink Turing_completeness.
- MacroML wikiPageWikiLink Type_safety.
- MacroML wikiPageWikiLink Type_system.
- MacroML wikiPageWikiLinkText "MacroML".
- MacroML wikiPageUsesTemplate Template:Prog-lang-stub.
- MacroML subject Category:Experimental_programming_languages.
- MacroML subject Category:ML_programming_language_family.
- MacroML subject Category:Metaprogramming.
- MacroML hypernym Language.
- MacroML type Language.
- MacroML type ProgrammingLanguage.
- MacroML type Language.
- MacroML type Language.
- MacroML type Thing.
- MacroML type Q315.
- MacroML type Q34770.
- MacroML type Q9143.
- MacroML comment "MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.".
- MacroML label "MacroML".
- MacroML sameAs Q6725127.
- MacroML sameAs m.07kyjn.
- MacroML sameAs Q6725127.
- MacroML wasDerivedFrom MacroML?oldid=574576313.
- MacroML isPrimaryTopicOf MacroML.