학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Conference
2009 22nd IEEE Computer Security Foundations Symposium; 2009, p124-140, 17p
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, December 2006, 16(6):989-1047)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, September 2006, 41(9):286-297)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 2002, 13(3-5):327-340)
Academic Journal
In: Journal of Functional Programming. (Journal of Functional Programming, March 1996, 6(2):365-373)
Conference
In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2005, :15-26)
Conference
In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, (ICFP 03). (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2003, 8:87-98)
Book
In: CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1877 LNCS:243-258)
Academic Journal
In: Journal of Functional Programming. (Journal of Functional Programming, July 2007, 17(4-5):547-612)
검색 결과 제한하기
제한된 항목
[AR] Leifer, J.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어