31686 search results - page 66 / 6338 » Resource typing in Guru |
100
click to vote
ICFP
2004
ACM
16 years 15 days ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
114
click to vote
JFP
2007
15 years 13 days ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
109
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
112
click to vote
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
126
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...