31686 search results - page 341 / 6338 » Resource typing in Guru |
172
click to vote
SAC
2009
ACM
16 years 26 days 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...
159
click to vote
KBSE
2009
IEEE
16 years 24 days ago
2009
IEEE
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
153
click to vote
ESOP
2007
Springer
16 years 7 days 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...
154
click to vote
ICDT
2007
ACM
16 years 6 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
133
click to vote
TLCA
2007
Springer
16 years 5 days ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...