http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Agda-Curious?: An Exploration of Programming with Dependent Types
McBride, C. ACM; 1999 2012 p.1-2
Verified Heap Theorem Prover by Paramodulation
Stewart, G.; Beringer, L.; Appel, A.W. ACM; 1999 2012 p.3-14
An Error-Tolerant Type System for Variational Lambda Calculus
Chen, S.; Erwig, M.; Walkingshaw, E. ACM; 1999 2012 p.29-40
Superficially Substructural Types
Krishnaswami, N.R.; Turon, A.; Dreyer, D.; Garg, D. ACM; 1999 2012 p.41-54
Functional Programming with Structured Graphs
Oliveira, B.C.d.S.; Cook, W.R. ACM; 1999 2012 p.77-88
Sheard, T. ACM; 1999 2012 p.89-102