About: Kaya (programming language)

Kaya is a programming language with a powerful type system, static type checking and type inference.

Property	Value
dbpprop:aboutProperty	Kaya other uses the programming language
dbpprop:abstract	Kaya is a programming language with a powerful type system, static type checking and type inference.
dbpprop:designer	Edwin Brady
dbpprop:developer	dbpedia:Durham_University_Computing_Society
dbpprop:implementations	Kaya
dbpprop:influencedBy	dbpedia:Haskell_(programming_language) dbpedia:Objective_Caml dbpedia:C_(programming_language)
dbpprop:latestReleaseDate	dbpedia:Aug_2
dbpprop:latestReleaseVersion	0.5.1
dbpprop:license	dbpedia:GNU_GPL_license
dbpprop:name	Kaya
dbpprop:operatingSystem	dbpedia:Linux dbpedia:Mac_OS dbpedia:Microsoft_Windows
dbpprop:reference	http://kayalang.org/
dbpprop:typing	dbpedia:Type_inference dbpedia:Strong_typing dbpedia:Static_typing
dbpprop:website	http://kayalang.org
dbpprop:wikiPageUsesTemplate	dbpedia:Template:infobox_programming_language dbpedia:Template:about
dbpprop:year	2004-01-01 00:00:00 (xsd:date)
rdfs:comment	Kaya is a programming language with a powerful type system, static type checking and type inference.
rdfs:label	Kaya (programming language)
skos:subject	dbpedia:Category:Statically-typed_programming_languages dbpedia:Category:Curly_bracket_programming_languages
foaf:homepage	http://kayalang.org
foaf:page	http://en.wikipedia.org/wiki/Kaya_%28programming_language%29
is dbpprop:disambiguates of	dbpedia:Kaya