http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
Rendel, T.; Ostermann, K. ACM; 1999 2010 p.1-12
A Systematic Derivation of the STG Machine Verified in Coq
Pirog, M.; Biernacki, D. ACM; 1999 2010 p.25-36
A Generic Deriving Mechanism for Haskell
Magalhaes, J.P.; Dijkstra, A.; Jeuring, J.; Loh, A. ACM; 1999 2010 p.37-48
Exchanging Sources Between Clean and Haskell: A Double-Edged Front End for the Clean Compiler
van Groningen, J.; van Noort, T.; Achten, P.; Koopman, P.; Plasmeijer, R. ACM; 1999 2010 p.49-60
Experience Report: Using Hackage to Inform Language Design
Morris, J.G. ACM; 1999 2010 p.61-66
Nikola: Embedding Compiled GPU Functions in Haskell
Mainland, G.; Morrisett, G. ACM; 1999 2010 p.67-78
Seq No More: Better Strategies for Parallel Haskell
Marlow, S.; Maier, P.; Loidl, H.-W.; Aswad, M.K.; Trinder, P. ACM; 1999 2010 p.91-102