共 50 条
- [41] BAZILEVIC-FUNCTIONS OF HIGHER-ORDER [J]. REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1983, 28 (08): : 709 - 714
- [42] COMPUTATIONS OF HILL FUNCTIONS OF HIGHER-ORDER [J]. MATHEMATICS OF COMPUTATION, 1977, 31 (138) : 481 - 484
- [43] A practical and flexible flow analysis for higher-order languages [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (04): : 845 - 868
- [47] Energy Minimization of Discrete Functions with Higher-order Potentials for Depth Map Generation [J]. 2016 23RD INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR), 2016, : 2344 - 2349
- [48] Formally based profiling for higher-order functional languages [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 334 - 385
- [50] Behavioural equivalence and indistinguishability in higher-order typed languages [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 284 - 298