Sciweavers

16725 search results - page 109 / 3345
» Engineering Software Correctness
Sort
View
PEPM
2009
ACM
15 years 11 months ago
Improving type error messages for generic java
Nabil El Boustani, Jurriaan Hage
PEPM
2009
ACM
15 years 11 months ago
Shifting the stage: staging with delimited control
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...
PEPM
2009
ACM
15 years 11 months ago
Type-based specialization of xml transformations
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi