http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Just do It: Simple Monadic Equational Reasoning
Gibbons, J.; Hinze, R. ACM; 1999 2011 p.2-14
Lightweight Monadic Programming in ML
Swamy, N.; Guts, N.; Leijen, D.; Hicks, M. ACM; 1999 2011 p.15-27
Functional Programming Through Deep Time: Modeling the First Complex Ecosystems on Earth
Mitchell, E.G. ACM; 1999 2011 p.28-31
Monads, Zippers and Views: Virtualizing the Monad Stack
Schrijvers, T.; Oliveira, B.C.d.S. ACM; 1999 2011 p.32-44
A Semantic Model for Graphical User Interfaces
Krishnaswami, N.R.; Benton, N. ACM; 1999 2011 p.45-57
Modular Rollback Through Control Logging: A Pair of Twin Functional Pearls
Shivers, O.; Turon, A.J. ACM; 1999 2011 p.58-68
Pushdown Flow Analysis of First-Class Control
Vardoulakis, D.; Shivers, O. ACM; 1999 2011 p.69-80
Set-Theoretic Foundation of Parametric Polymorphism and Subtyping
Castagna, G.; Xu, Z. ACM; 1999 2011 p.94-106