http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Organizing Functional Code for Parallel Execution or, foldl and foldr Considered Slightly Harmful
Steele, G.L. ACM; 1999 2009 p.1-2
Purely Functional Lazy Non-deterministic Programming
Fischer, S.; Kiselyov, O.; Shan, C.-c. ACM; 1999 2009 p.11-22
Safe Functional Reactive Programming through Dependent Types
Sculthorpe, N.; Nilsson, H. ACM; 1999 2009 p.23-34
Causal Commutative Arrows and Their Optimization
Liu, H.; Cheng, E.; Hudak, P. ACM; 1999 2009 p.35-46
A Functional I/O System or, Fun for Freshman Kids
Felleisen, M.; Findler, R.B.; Flatt, M.; Krishnamurthi, S. ACM; 1999 2009 p.47-58
Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL
Newton, R.R.; Ko, T. ACM; 1999 2009 p.59-64
Runtime Support for Multicore Haskell
Marlow, S.; Jones, S.P.; Singh, S. ACM; 1999 2009 p.65-78
Effective Interactive Proofs for Higher-Order Imperative Programs
Chlipala, A.; Malecha, G.; Morrisett, G.; Shinnar, A.; Wisnesky, R. ACM; 1999 2009 p.79-90
Experience Report: seL4: Formally Verifying a High-Performance Microkernal
Klein, G.; Derrin, P.; Elphinstone, K. ACM; 1999 2009 p.91-96