http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming
Pitts, A. M. ACM; 1999 2001 p.1
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
Dimock, A. ACM; 1999 2001 p.14-25
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
Ganz, S. E. ACM; 1999 2001 p.74-85