Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
type system
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
webisadb.webdatacommons.org
associated with source
dataset(s)
Attributes
Values
rdfs:label
type system
sameAs
dbr:Type_system
skos:broader
programming language
annotation
problem
thing
java
anything
category
computer
need
type
constraint
restriction
union
aspect of programming language
syntactic method
has head
system
has pre modifier
type
is
skos:broader
of
c++
monad
ruby
hm
effect
example
problem
program
right
language
code
java
fact
type
integer
ocaml
haskell
system f
type inference
parametric polymorphism
subtyping
Alternative Linked Data Views:
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
) | Microdata (
JSON
HTML
) |
JSON-LD
About
OpenLink Virtuoso
version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software