¹ø¿ª ¿ë·Ê:

¿µ¾î Àü°ø ´Ü¾î¸¦ Çѱ۷Π¹ø¿ªÇÑ ¿¹µéÀÔ´Ï´Ù. ÁÁÀº ¿¹µéÀ» µî·ÏÇØ Áֽʽÿä.
ÇÁ·Î±×·¡¹Ö ¾ð¾î ¹× ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛ ºÐ¾ßÀÔ´Ï´Ù.
µî·ÏµÈ ¿¹µéÀº emailÀ» ÅëÇØ Àü¹®°¡ÀÇ ½É»ç¸¦ °ÅÃļ­ ÀÌ°÷¿¡ ³²°ÔµË´Ï´Ù.
Ãß°¡ÇÒ ´Ü¾î³ª ã°í ½ÍÀº ´Ü¾î¸¦ ³ÖÀ¸¼¼¿ä.
¿µ¾î°­ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ(JPG, HTML) (¼­¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò], 3/21/2011)
¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
°øºÎÀÇ ¾ð¾î (Á¦4ȸ ROSAEC ¼¾ÅÍ ¿öÅ©¼¥, 8/27/2010)

[Çü]

  ¹ø¿ª     Ãâó     ºñ°í  
  type          

Ãß°¡

¿µ¾î ´Ü¾î: -- ¿©·¯ ´Ü¾î°¡ ÀÖÀ» °æ¿ì Çϳª¸¸ ÀÔ·ÂÇϼ¼¿ä.
Ãâó: -- ¿¹) saseo, nML Âü°í¼­ p20
ºñ°í: -- ¹ø¿ª ¿¹³ª, ÀÌ ¹ø¿ªÀÌ ÁÁÀº ÀÌÀ¯.
ºÎÁÖÀÇ °Ë»ç: -- (f(23) - f(23) + (ÆÈ + ±¸) * 6 / 6) ÀÇ ´ä

¸®½ºÆ®

[Çѱ۷ΠÁ¤·Ä] [ A a b c f h i n o p s t ]

A-normal formA-Ç¥ÁØÇü
abstract typeÃß»óÇü
be polymorphic´ÙÇü¼ºÀÌ ÀÖ´Ù
curried applicationÄ¿¸®Çü ÇÔ¼öÀÇ Àû¿ë
curried functionÄ¿¸®Çü ÇÔ¼ö
formal parameterÇü½ÄÀÎÀÚ
hierarchy°èÃþ±¸Á¶, °èÃþ±¸Á¶ Çü¼ºÇϱâ
homomorphismµ¿Çü¼º
imperative languageÇൿÁöħÇü ¾ð¾î, ¸í·ÉÇü ¾ð¾î
isomorphism°°Àº ÇüÅÂ
normal formƲ¿¡¸Â´Â ÇüÅÂ, ±Ô°Ý¿¡¸Â´Â ÇüÅÂ, Ç¥ÁØÇü
operational semantics³í¸®Çü Àṉ̀¸Á¶
poly-variant analysis´ÙÇü¼ºÀ» °¡Áö´Â ºÐ¼®
polymorphic´ÙÇü, ´Ùº¯Çü
polymorphic function´ÙÇü ÇÔ¼ö
polymorphic type´ÙÇü ŸÀÔ
polymorphism´ÙÇü¼º
shape grammarÇüÅ ¹®¹ý
typeÇü