1999 search results - page 34 / 400 » Dependently Typed Grammars |
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
174
click to vote
IFL
2007
Springer
15 years 8 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...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
