社å
ã§ãTaPLã§æ®´ãããä¼*1ããéå¬ãããã¨ããã®ã§ãåã·ã¹ãã å
¥é(éç§°TaPL: Types and Programming Languages)ãè³¼å
¥ãããã®ã®ãå
容ãé£ããã¦åºç¤ããã¾ã£ããã¨è¨ã£ã¦ããã»ã©èªã¿é²ãããã¨ãã§ãã¾ããã§ããã åã·ã¹ãã å
¥é âããã°ã©ãã³ã°è¨èªã¨åã®çè«â ä½è
: Benjamin C. Pierce,ä½äºè±äºé,é è¤ä¾ä»,é
äºæ¿è£,ä»äºæ¬å¾,黿¨è£ä»,ä»äºå®æ´,æå·éæ,ä»äºå¥ç·åºç社/ã¡ã¼ã«ã¼: ãªã¼ã 社çºå£²æ¥: 2013/03/26ã¡ãã£ã¢: åè¡æ¬ï¼ã½ããã«ãã¼ï¼ ã¯ãªãã¯: 68åãã®ååãå«ãããã° (7ä»¶) ãè¦ã ããããèªããªãã¾ã¾ã«ãã¦ããã®ã¯æããããå
容ã¯ã¨ã¦ãé¢ç½ãããªã®ã§ããã¯ãã¡ããã¨èªããããã«ãªãããã ããã§åºç¤çãªæ¸ç±ã¨Webã§æ
å ±åéãã¦ããååº¦ææ¦ããã¨ããããªãã¨ãèªã¿é²ããããããã«ãªãã¾ããã ç£
{{#tags}}- {{label}}
{{/tags}}