Sciweavers

556 search results - page 2 / 112
» Generic Properties of Datatypes
Sort
View
ICFP
2009
ACM
14 years 6 months ago
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Andres Löh, Johan ...
ICAIL
2007
ACM
13 years 9 months ago
The Legal-RDF Ontology. A Generic Model for Legal Documents
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...
John McClure
CIE
2006
Springer
13 years 9 months ago
Datatype-Generic Reasoning
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
Roland Carl Backhouse
CORR
2012
Springer
232views Education» more  CORR 2012»
12 years 1 months ago
A Formal Comparison of Approaches to Datatype-Generic Programming
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
José Pedro Magalhães, Andres Lö...
TPHOL
1992
IEEE
13 years 9 months ago
Modelling Generic Hardware Structures by Abstract Datatypes
Klaus Schneider, Ramayya Kumar, Thomas Kropf