1626 search results - page 138 / 326 » Subtyping with Power Types |
132
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
184
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
138
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
With the recent efforts made by computer vision researchers,
more and more types of features have been designed
to describe various aspects of visual characteristics.
Modeling s...
140
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
126
Voted
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...