http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
AURA: A Programming Language for Authorization and Audit
Jia, L.; Vaughan, J.A.; Mazurak, K.; Zhao, J.; Zarko, L.; Schorr, J.; Zdancewic, S. ACM; 1999 2008 p.27-38
Type Checking with Open Type Functions
Schrijvers, T.; Jones, S.P.; Chakravarty, M.; Sulzmann, M. ACM; 1999 2008 p.51-62
From ML to ML^F: Graphic Type Constraints with Efficient Type Inference
Remy, D.; Yakobowski, B. ACM; 1999 2008 p.63-74
A Type-Preserving Compiler in Haskell
Guillemette, L.-J.; Monnier, S. ACM; 1999 2008 p.75-86