Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
我々の貢献
我々の貢献
様々な関数型言語に適用でき、 冗長性のない TDPE を提案
Higher-Order Abstract Syntax を用いた ある単純な SDPE から、deforestation で 我々の TDPE を導出
? より複雑な SDPE からは
より高度な TDPE が得られる