658 followers
RT @sinya8282: “ML typability is dexptime-complete” https://t.co/jxkim5Vdzp
RT @sinya8282: “ML typability is dexptime-complete” https://t.co/jxkim5Vdzp
“ML typability is dexptime-complete” https://t.co/jxkim5Vdzp
> Type system is a tractable syntactic method ... MLの型システムはtractableではないような… #TAPL https://t.co/JxcaEzqGYI