Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Frege_(programming_language)> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Frege_(programming_language) abstract "Frege is a non-strict, pure functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell dialect or simply \"a\" Haskell for the Java virtual machine.Frege has a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that. Frege programs are compiled to Java bytecode and run in a Java virtual machine. Existing Java classes and methods can be used seamlessly from Frege after their types have been properly declared.The language was designed by Ingo Wechsung, who named it after the German mathematician, logician and philosopher Gottlob Frege. (Unrelated to the Frege Program Prover).".
- Frege_(programming_language) designer Ingo_Wechsung.
- Frege_(programming_language) influencedBy Haskell_(programming_language).
- Frege_(programming_language) latestReleaseVersion "3.22".
- Frege_(programming_language) thumbnail Frege_logo.svg?width=300.
- Frege_(programming_language) wikiPageExternalLink fregepl.blogspot.com.
- Frege_(programming_language) wikiPageExternalLink hello-world-frege.html.
- Frege_(programming_language) wikiPageExternalLink fpp-main.htm.
- Frege_(programming_language) wikiPageExternalLink try.frege-lang.org.
- Frege_(programming_language) wikiPageExternalLink frege.
- Frege_(programming_language) wikiPageExternalLink releases.
- Frege_(programming_language) wikiPageExternalLink examples.
- Frege_(programming_language) wikiPageExternalLink Differences-between-Frege-and-Haskell.
- Frege_(programming_language) wikiPageExternalLink How-To-Install-Eclipse-FregIDE.
- Frege_(programming_language) wikiPageID "35111228".
- Frege_(programming_language) wikiPageLength "7261".
- Frege_(programming_language) wikiPageOutDegree "33".
- Frege_(programming_language) wikiPageRevisionID "680903538".
- Frege_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Frege_(programming_language) wikiPageWikiLink Category:Haskell_programming_language_family.
- Frege_(programming_language) wikiPageWikiLink Category:JVM_programming_languages.
- Frege_(programming_language) wikiPageWikiLink Class_(computer_programming).
- Frege_(programming_language) wikiPageWikiLink Cross-platform.
- Frege_(programming_language) wikiPageWikiLink Eclipse_(software).
- Frege_(programming_language) wikiPageWikiLink Evaluation_strategy.
- Frege_(programming_language) wikiPageWikiLink Functional_programming.
- Frege_(programming_language) wikiPageWikiLink Gottlob_Frege.
- Frege_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Frege_(programming_language) wikiPageWikiLink Ingo_Wechsung.
- Frege_(programming_language) wikiPageWikiLink Java_(programming_language).
- Frege_(programming_language) wikiPageWikiLink Java_bytecode.
- Frege_(programming_language) wikiPageWikiLink Java_virtual_machine.
- Frege_(programming_language) wikiPageWikiLink Linux.
- Frege_(programming_language) wikiPageWikiLink Method_(computer_programming).
- Frege_(programming_language) wikiPageWikiLink Microsoft_Windows.
- Frege_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- Frege_(programming_language) wikiPageWikiLink Plug-in_(computing).
- Frege_(programming_language) wikiPageWikiLink Purely_functional.
- Frege_(programming_language) wikiPageWikiLink Strict_programming_language.
- Frege_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Frege_(programming_language) wikiPageWikiLink Type_inference.
- Frege_(programming_language) wikiPageWikiLink Type_system.
- Frege_(programming_language) wikiPageWikiLink Unix.
- Frege_(programming_language) wikiPageWikiLinkText "Frege programming language".
- Frege_(programming_language) wikiPageWikiLinkText "Frege".
- Frege_(programming_language) designer "Ingo Wechsung".
- Frege_(programming_language) fileExt ".fr".
- Frege_(programming_language) influencedBy Haskell_(programming_language).
- Frege_(programming_language) latestReleaseVersion "3.22".
- Frege_(programming_language) license "BSD".
- Frege_(programming_language) logo "Frege logo.svg".
- Frege_(programming_language) logoSize "220".
- Frege_(programming_language) name "Frege".
- Frege_(programming_language) operatingSystem Cross-platform.
- Frege_(programming_language) paradigm "functional, lazy/non-strict".
- Frege_(programming_language) typing Strong_and_weak_typing.
- Frege_(programming_language) typing Type_inference.
- Frege_(programming_language) typing Type_system.
- Frege_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Frege_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Frege_(programming_language) wikiPageUsesTemplate Template:Start_date_and_age.
- Frege_(programming_language) wikiPageUsesTemplate Template:URL.
- Frege_(programming_language) subject Category:Functional_languages.
- Frege_(programming_language) subject Category:Haskell_programming_language_family.
- Frege_(programming_language) subject Category:JVM_programming_languages.
- Frege_(programming_language) hypernym Language.
- Frege_(programming_language) type Language.
- Frege_(programming_language) type ProgrammingLanguage.
- Frege_(programming_language) type Software.
- Frege_(programming_language) type Language.
- Frege_(programming_language) type Language.
- Frege_(programming_language) type Thing.
- Frege_(programming_language) type Q315.
- Frege_(programming_language) type Q34770.
- Frege_(programming_language) type Q9143.
- Frege_(programming_language) comment "Frege is a non-strict, pure functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell dialect or simply \"a\" Haskell for the Java virtual machine.Frege has a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that. Frege programs are compiled to Java bytecode and run in a Java virtual machine.".
- Frege_(programming_language) label "Frege (programming language)".
- Frege_(programming_language) sameAs Q5501320.
- Frege_(programming_language) sameAs Frege_(llenguatge_de_programació).
- Frege_(programming_language) sameAs m.0j6753z.
- Frege_(programming_language) sameAs Frege.
- Frege_(programming_language) sameAs Q5501320.
- Frege_(programming_language) wasDerivedFrom Frege_(programming_language)?oldid=680903538.
- Frege_(programming_language) depiction Frege_logo.svg.
- Frege_(programming_language) isPrimaryTopicOf Frege_(programming_language).
- Frege_(programming_language) name "Frege".