共 50 条
- [5] Type error slicing in implicitly typed higher-order languages PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 284 - 301
- [7] THE PRINCIPLES OF INTERPOLATION FOR HIGHER-ORDER CURVES SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1982, 25 (02): : 212 - 224
- [8] On Higher-Order Sensitivity Analysis in Nonsmooth Vector Optimization Journal of Optimization Theory and Applications, 2014, 162 : 463 - 488
- [10] Decidability of higher-order subtyping with intersection types COMPUTER SCIENCE LOGIC, 1995, 933 : 46 - 60