학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 15건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7:1438-1462)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 9 June 2022, :825-840)
Book
In: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13240 LNCS:143-173)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9032:283-307)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9032:736-761)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, 8 April 2016, 51(1):622-633)
Book
In: Formal Methods - 24th International Symposium, FM 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13047 LNCS:61-79)
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 11 June 2020, :346-361)
검색 결과 제한하기
제한된 항목
[AR] Pichon-Pharabod, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어