Polemy

/icons/hr.icon

description

レイヤなる概念を用いて，いろんな概念を統合，というかsemanticsとして一般化している．

ex) call by valueで得られる値，call by lazyneedで得られる値，型，メタプログラミング