http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Conservation of Information: Applications in Functional, Reversible, & Quantum Computing
Knight, T. ACM; 1999 2003 p.1-2
Scripting the Type Inference Process
Heeren, B.; Hage, J.; Swierstra, S. D. ACM; 1999 2003 p.3-14
Discriminative Sum Types Locate the Source of Type Errors
Neubauer, M.; Thiemann, P. ACM; 1999 2003 p.15-26
An Extension of HM(X) with Bounded Existential and Universal Data-Types
Simonet, V. ACM; 1999 2003 p.39-50
CDuce: An XML-Centric General-Purpose Language
Benzaken, V.; Castagna, G.; Frisch, A. ACM; 1999 2003 p.51-64
Global Abstraction-Safe Marshalling with Hash Types
Leifer, J. J.; Peskine, G.; Sewell, P.; Wansbrough, K. ACM; 1999 2003 p.87-98
Dynamic Rebinding for Marshalling and Update, with Destruct-time Lambda
Bierman, G.; Hicks, M.; Sewell, P.; Stoyle, G.; Wansbrough, K. ACM; 1999 2003 p.99-110