950 search results - page 23 / 190 » Type Specialization in Aldor |
ML
2006
ACM
13 years 7 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
DLOG
2010
13 years 5 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
ICIP
2000
IEEE
13 years 12 months ago
2000
IEEE
With the increase of digital technology in video production, several types of complex video special effects editing have begun to appear in video clips. In this paper a novel algo...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
ICALP
1990
Springer
13 years 11 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...