Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Frege_(programming_language)> ?p ?o }
Showing triples 1 to 91 of
91
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 Functional_programming_language.
- Frege_(programming_language) wikiPageWikiLink Linux.
- 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 Non-strict_programming_language.
- Frege_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- Frege_(programming_language) wikiPageWikiLink Plug-in_(computing).
- Frege_(programming_language) wikiPageWikiLink Purely_functional.
- Frege_(programming_language) wikiPageWikiLink Static_typing.
- Frege_(programming_language) wikiPageWikiLink Strict_programming_language.
- Frege_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Frege_(programming_language) wikiPageWikiLink Strong_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) hasPhotoCollection Frege_(programming_language).
- 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 Static_typing.
- Frege_(programming_language) typing Strong_and_weak_typing.
- Frege_(programming_language) typing Strong_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) 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 Work.
- Frege_(programming_language) type CreativeWork.
- Frege_(programming_language) type Thing.
- Frege_(programming_language) type Q386724.
- Frege_(programming_language) type Q7397.
- 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 Frege_(llenguatge_de_programació).
- Frege_(programming_language) sameAs m.0j6753z.
- Frege_(programming_language) sameAs Q5501320.
- 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".