학술논문
'학술논문'
에서 검색결과 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
Sewell, P.; Wansbrough, K.; Allen-Williams, M.; Vafeiadis, V.; Leifer, J.J.; Nardelli, F.Z.; Habouzit, P.
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
Sewell, P.; Wansbrough, K.; Allen-Williams, M.; Vafeiadis, V.; Leifer, J.J.; Zappa Nardelli, F.; Habouzit, P.
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)
주제어
언어