학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 2023)
Academic Journal
In: Journal of Functional Programming. (Journal of Functional Programming, 22 August 2022, 32(5))
Conference
In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11 January 2023, :290-302)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, September 2018, 2(ICFP))
Conference
In: OpenAccess Series in Informatics, 4th International Workshop on Formal Methods for Blockchains, FMBC 2022. (OpenAccess Series in Informatics, 1 September 2022, 105)
Conference
In: CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021, CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. (CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021, 17 January 2021, :105-121)
Conference
In: CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020. (CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, 20 January 2020, :215-228)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. (ACM International Conference Proceeding Series, 3 September 2018)
In: arXiv. (arXiv, 9 May 2017)
검색 결과 제한하기
제한된 항목
[AR] Annenkov, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어