208 search results - page 1 / 42 » Generic ontology of datatypes |
ICAIL
2007
ACM
13 years 8 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
MPC
1998
Springer
13 years 8 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
MST
2008
13 years 4 months ago
2008
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs...