型システム入門 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åž‹ã®ç†è«– | オーム社eStore(β)型システムã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®‰å…¨æ€§ã‚„効率を高ã‚ã‚‹ã†ãˆã§é‡è¦ãªç†è«–・手法ã§ã™ã€‚本書ã¯ã€ãã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã«ã¤ã„ã¦åŸºç¤Žçš„ãªè©±é¡Œã‚’網羅ã—ã€å®Ÿè£…例を交ãˆã¦ä¸å¯§ã«è§£èª¬ã—ãŸThe MIT Press発行ã®è§£èª¬æ›¸â€œTypes And Programming Languagesâ€ï¼ˆTAPL）を翻訳ã—ãŸã‚‚ã®ã§ã™ã€‚言語è¨è¨ˆè€…ã‚„å¦ç”Ÿã ã‘ã§ãªãã€é™çš„型付言語を深ãç†è§£ã—ã¦æ´»ç”¨ã—ãŸã„プãƒã‚°ãƒ©ãƒžãƒ¼ã«ã¨ã£ã¦ã‚‚è²´é‡ãªæƒ…å ±ã¨ãªã£ã¦ã„ã¾ã™ã€‚
{{#tags}}- {{label}}
{{/tags}}