431 search results - page 5 / 87 » Abstract Data Types in Computer Algebra |
111
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
128
click to vote
ISSAC
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
109
Voted
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
129
Voted
RSKT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
112
Voted
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...