共 50 条
- [23] Welcome from the chairs ASME International Mechanical Engineering Congress and Exposition, Proceedings, 2008, 2
- [24] Welcome from the Chairs TyDe 2020 - Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2020, 2020,
- [25] Welcome from the chairs FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019, 2019,
- [26] Welcome from the chairs REBLS 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2019, 2019,
- [29] Welcome from the Chairs CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 2023,
- [30] Welcome from the Chairs Gamify 2024 - Proceedings of the 3rd ACM International Workshop on Gamification in Software Development, Verification, and Validation, Co-located with: ISSTA 2024, 2024,