학술논문
'학술논문'
에서 검색결과 21건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, 14 October 2021, 31)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2020, 16(1))
Book
In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13992 LNCS:113-134)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
Greenman, B.E.N.; Takikawa, A.S.U.M.U.; New, M.S.; Findler, R.B.; Feltey, D.; Vitek, J.A.N.; Felleisen, M.
In: Journal of Functional Programming . (Journal of Functional Programming, 2019)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 15 October 2018, 164:49-65)
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, 30 August 2017, 27)
검색 결과 제한하기
제한된 항목
[AR] New, M.S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어