7529 search results - page 222 / 1506 » The Modula-3 Type System |
250
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
164
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
The types of awareness relevant to collaborative software engineering are identified and an additional type, “historical awareness” is proposed. This new type of awareness is...
161
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
169
click to vote
TLDI
2005
ACM
16 years 2 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...