7529 search results - page 159 / 1506 » The Modula-3 Type System |
249
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
145
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
134
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
130
Voted
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
135
Voted
NIPS
1994
15 years 6 months ago
1994
Each yearpeoplespendahugeamountoftimetyping. Thetextpeopletype typically contains a tremendousamount of redundancy due to predictable word usage patterns and the text's struc...