학술논문
'학술논문'
에서 검색결과 15건 | 목록
1~10
Academic Journal
In: Journal of the ACM . (Journal of the ACM, 12 February 2024, 71(1))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 5 January 2024, 8)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
Georges, A.L.; Guéneau, A.; Timany, A.; Trieu, A.; Birkedal, L.; Van Strydonck, T.; Huyghebaert, S.; Devriese, D.
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Conference
Van Strydonck, T.; Piessens, F.; Georges, A.L.; Gueneau, A.; Trieu, A.; Timany, A.; Birkedal, L.; Devriese, D.
In: Proceedings - IEEE Computer Security Foundations Symposium , Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022. (Proceedings - IEEE Computer Security Foundations Symposium, 2022, 2022-August:80-95)
Conference
In: JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs , JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs. (JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs, 2021, :157-173)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, August 2021, 5(ICFP))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 10th International Conference on Interactive Theorem Proving, ITP 2019. (Leibniz International Proceedings in Informatics, LIPIcs, September 2019, 141)
Book
In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10801 LNCS:533-560)
Book
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10201 LNCS:584-610)
검색 결과 제한하기
제한된 항목
[AR] Guéneau, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어