3116 search results - page 18 / 624 » Positively dependent types |
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
58
Voted
ER
2009
Springer
15 years 4 months ago
2009
Springer
68
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
90
Voted
AFP
2008
Springer
15 years 4 months ago
2008
Springer
132
Voted
IFL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...