共 50 条
- [21] Typed higher-order narrowing without higher-order strategies FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
- [25] Automatic Chord Recognition with Higher-Order Harmonic Language Modelling 2018 26TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO), 2018, : 1900 - 1904
- [27] On the Use of UML Stereotypes in Creating Higher-order Domain-specific Languages and Tools MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 14 - 25