494 followers
RT @ltchen_tw: @joomy As you mentioned the levitation paper, maybe datatype-generic programming literature is also relevant? Inductive fami…
RT @ltchen_tw: @joomy As you mentioned the levitation paper, maybe datatype-generic programming literature is also relevant? Inductive fami…
@joomy As you mentioned the levitation paper, maybe datatype-generic programming literature is also relevant? Inductive family first appeared as an external rule schema but was later encoded internally as a type in https://t.co/M5hsSGz0D6
@lambda_x_x こちらこそありがとうございました! 一応、書誌情報としてはこの二つの論文です→ https://t.co/xn4QJqtT2E https://t.co/wlW7TMfDgr