Single-threaded polymorphic lambda calculus
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=113759
MLでこれのことで盛り上がっているみたい。
Cleanの場合、一意型ひとつだけれども、これはもっと細かく分類できるみたい。
対応する処理系があるのかは不明。
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=113759
MLでこれのことで盛り上がっているみたい。
Cleanの場合、一意型ひとつだけれども、これはもっと細かく分類できるみたい。
対応する処理系があるのかは不明。