학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 37건 | 목록 1~10
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:206-235)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. (ACM International Conference Proceeding Series, 22 October 2023)
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 8 June 2021, 43(2))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 13 November 2020, 4(OOPSLA))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Academic Journal
In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, December 2018, 40(4))
Conference
In: Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022, Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022. (Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022, 29 November 2022, :63-79)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 36th European Conference on Object-Oriented Programming, ECOOP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2022, 222)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, August 2017, 90:61-83)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, January 2017, 52(1):748-761)
검색 결과 제한하기
제한된 항목
[AR] Toninho, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어