학술논문
'학술논문'
에서 검색결과 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)
주제어
언어