共 50 条
- [21] Welcome from the Chairs TyDe 2020 - Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2020, 2020,
- [22] 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,
- [23] 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,
- [26] 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,
- [27] Welcome from the chairs A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019, 2019,
- [28] Welcome from the chairs 2005, American Society of Mechanical Engineers, New York, United States (2 B):
- [29] Welcome from the Chairs DLS 2020 - Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages - Co-located with SPLASH 2020, 2020,
- [30] Welcome from the Chairs SCALA 2020 - Proceedings of the 11th ACM SIGPLAN International Symposium on Scala - Co-located with SPLASH 2020, 2020,