共 50 条
- [42] For ML and With ML: The New Normal in System Design 2023 IEEE 30TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS, HIPC 2023, 2023,
- [43] ML for ML: Learning Cost Semantics by Experiment TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 190 - 207
- [44] ML'07: Proceedings of the 2007 Workshop on ML ACM Special Interest Group on Programming Languages, 1600, (2007):
- [47] Efficient Parallel Programming in Poly/ML and Isabelle/ML DAMP'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON DECLARATIVE ASPECTS OF MULTICORE PROGRAMMING, 2010, : 53 - 62