共 50 条
- [2] Compositional and Lightweight Dependent Type Inference for ML [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 295 - 314
- [3] Efficient ML Type Inference Using Ranked Type Variables [J]. ML'07: PROCEEDINGS OF THE 2007 WORKSHOP ON ML, 2007, : 3 - 14
- [4] MATHEMATICAL INFERENCE AND LOGICAL INFERENCE [J]. REVIEW OF SYMBOLIC LOGIC, 2018, 11 (04): : 665 - 704
- [6] From ML to MLF: Graphic Type Constraints with Efficient Type Inference [J]. ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 63 - 74
- [10] LOGICAL AND NON-LOGICAL MODELS OF INFERENCE [J]. AUSTRALIAN PSYCHOLOGIST, 1978, 13 (02) : 262 - 262