±±¾©Ê¯ÓÍ»¯¹¤Ñ§Ôº2026ÄêÑо¿ÉúÕÐÉú½ÓÊÕµ÷¼Á¹«¸æ
²é¿´: 587  |  »Ø¸´: 1

ÎÒΪÄã¿ñ

гæ (СÓÐÃûÆø)

[½»Á÷] post-review »áÒé

±¾ÖܾÍÈ¥Ó¢¹úÅ£½ò¿ªÒ»¸ö¹ú¼Ê»áÒéIFL2012.
IFL 2012, the 24th Symposium on Implementation and Application of Functional Languages.
http://www.cs.ox.ac.uk/conferences/IFL2012/

±¾ÈËÊǵÚÒ»´ÎͶ¸å£¬Ö®Ç°Ã»ÓÐÈκξ­Ñé¡£²»¹ýÕâ¸öÑÐÌÖ»áµÄÉó¸åÓеã¹ÖÒì°¥£¬ÊÇpost-reviewµÄ£¬Ò²¾ÍÊÇÏÈ¿ª»áºóÉó¸å£¬ÎÒÊÇÍ·Ò»´ÎÌý˵ÕâÑùµÄ»áÒé¡£µ¼Ê¦¸øÎÒÍÆ¼öµÄÕâ¸ö»áÒ飬Ҳ²»ÖªµÀÈçºÎ£¬´ó¼ÒÓÐûÓÐÌý˵¹ýÕâÖÖ»áÒéµÎ£¿
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

ÎÒΪÄã¿ñ

гæ (СÓÐÃûÆø)

ûÓÐÈËÓöµ½¹ýÕâÖÖ»áÒéÂð£¿
2Â¥2012-08-28 16:53:16
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ ÎÒΪÄã¿ñ µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] ²ÄÁÏרҵ383Çóµ÷¼Á +6 ¹ùÑôÑôÑô³É 2026-04-03 6/300 2026-04-03 22:32 by Î޼ʵIJÝÔ­
[¿¼ÑÐ] 357Çóµ÷¼Á +13 1050389037 2026-04-03 13/650 2026-04-03 22:27 by Î޼ʵIJÝÔ­
[¿¼ÑÐ] Çóµ÷¼Á +9 akdhjs 2026-03-31 11/550 2026-04-03 13:32 by akdhjs
[¿¼ÑÐ] 311Çóµ÷¼ÁÒ»Ö¾Ô¸ºÏ·Ê¹¤Òµ´óѧ +15 Çï¶þÊ®¶þ 2026-03-30 15/750 2026-04-03 10:19 by linyelide
[¿¼ÑÐ] Ò»Ö¾Ô¸aÇø211£¬085601-307·ÖÇóµ÷¼Á +13 µ³¼ÎºÀ 2026-03-31 26/1300 2026-04-03 08:33 by 495374996
[¿¼ÑÐ] 366Çóµ÷¼ÁÒ»Ö¾Ô¸¶«±±´óѧ +8 ÔËÆøÀ´µÃÈôÓÐËÆÎ 2026-04-02 8/400 2026-04-02 21:39 by dongzh2009
[¿¼ÑÐ] Çóµ÷¼Á 302·Ö³õÊÔ 0854 +5 Áæ¿ÉÀÖ 2026-04-02 5/250 2026-04-02 17:53 by ±ÊÂä½õÖÝ
[ÂÛÎÄͶ¸å] chinese chemical lettersÓ¢ÎİæÍ¶¸åÇóÖú 120+4 Yishengeryi 2026-03-30 6/300 2026-04-02 17:19 by Yishengeryi
[¿¼ÑÐ] 275ѧ˶081000·þ´Óµ÷¼Áµ½ÆäËûרҵ£¬±£²»×¡±¾×¨ÒµÁË +7 һֻССˮţ 2026-04-02 8/400 2026-04-02 14:23 by alice-2022
[¿¼ÑÐ] 282Çóµ÷¼Á +13 ºôÎü¶¼ÊǼõ·Ê 2026-04-01 13/650 2026-04-02 14:10 by baoball
[¿¼ÑÐ] 298ÇóBÇøµ÷¼Á +4 zzz£¬£¬r 2026-04-02 5/250 2026-04-02 12:17 by ÍÁľ˶ʿÕÐÉú
[¿¼ÑÐ] 070300»¯Ñ§279Çóµ÷¼Á +15 ¹þ¹þ¹þ^_^ 2026-03-31 17/850 2026-04-01 21:37 by ¸øÄãÄã×¢ÒâÐÝÏ¢
[¿¼ÑÐ] Ò»Ö¾Ô¸±±½»²ÄÁϹ¤³Ì×Ü·Ö358 +5 cs0106 2026-04-01 7/350 2026-04-01 11:45 by wangjy2002
[¿¼ÑÐ] Çóµ÷¼Á£¬Ò»Ö¾Ô¸±±ÁÖʳƷÓëÓªÑø095500£¬301·Ö£¬ÒѹýÁù¼¶£¬ÓпÆÑо­Àú +4 ¿ìÀÖ´¢Ðî¹Þ 2026-03-31 4/200 2026-04-01 09:26 by JourneyLucky
[¿¼ÑÐ] 070300»¯Ñ§×¨Òµ279µ÷¼Á +10 ¹þ¹þ¹þ^_^ 2026-03-31 10/500 2026-03-31 23:13 by liu823948201
[¿¼ÑÐ] 0856Çóµ÷¼Á +9 —öèñ 2026-03-28 9/450 2026-03-31 19:06 by ĺÔó12
[¿¼ÑÐ] 315Çóµ÷¼Á +6 akie... 2026-03-28 7/350 2026-03-31 16:48 by asdfzly
[¿¼ÑÐ] 340Çóµ÷¼Á +4 Ï£ÍûÈç´Ëi 2026-03-31 4/200 2026-03-31 16:40 by 690616278
[¿¼ÑÐ] 297 µØÀíѧ070500 ¸´ÊÔÇóµ÷¼Á +3 СԲȦȦooo 2026-03-30 3/150 2026-03-30 21:05 by ÓàÕðyz
[¿¼ÑÐ] 305Çóµ÷¼Á +8 RuiFairyrui 2026-03-28 8/400 2026-03-29 08:22 by fmesaito
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û