학술논문
'학술논문'
에서 검색결과 36건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 20 June 2024, 8)
Academic Journal
In: Journal of the ACM . (Journal of the ACM, February 2021, 68(1))
Academic Journal
Sozeau, M.; Boulier, S.; Tabareau, N.; Winterhalter, T.; Cohen, C.; Forster, Y.; Kunze, F.; Anand, A.; Malecha, G.
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 1 June 2020, 64(5):947-999)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, August 2019, 3(ICFP))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, September 2018, 2(ICFP))
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Altenkirch, Thorsten; McBride, Conor; Sozeau, Matthieu
Types for Proofs & Programs (9783540744634); 2007, p237-252, 16p
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, 7 February 2017, 27)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 16 July 2021, 337:13-29)
검색 결과 제한하기
제한된 항목
[검색어] Sozeau, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어