학술논문
'학술논문'
에서 검색결과 48건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 15 August 2024, 8(ICFP))
Academic Journal
Haselwarter, P.G.; Sidorenco, N.; Spitters, B.; Rivas, E.; Van Muylder, A.; Winterhalter, T.; Abate, C.; Hriţcu, C.; Maillard, K.
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 20 July 2023, 45(3))
Academic Journal
Gravey, F.; Castagnet, S.; Léon, A.; Langlois, B.; Le Hello, S.; Sévin, C.; Foucher, N.; Tapprest, J.; Petry, S.; Maillard, K.
In: Frontiers in Microbiology . (Frontiers in Microbiology, 2023, 14)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 August 2022, 6(ICFP))
Academic Journal
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, June 2022, 44(2))
Conference
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 , CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :230-245)
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14576 LNCS:332-337)
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14576 LNCS:302-331)
Academic Journal
In: Animals . (Animals, May 2020, 10(5))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
검색 결과 제한하기
제한된 항목
[AR] Maillard, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어