-
- いいね！1
Manuel Chakravarty
@TacticalGrace
ICFP 2011 Day 1 @ NII in Tokyo #icfp http://t.co/mJDVMZCP
2011-09-18 09:28:46
Liyang HU
@liyanghu
WGP! #ICFP (@ 国立情報学研究所 (National Institute of Informatics)) http://t.co/AsAjgbrB
2011-09-18 09:35:58
yoriyuki
@yoriyuki
DBとかつなげるのに言語を変えるってアプローチがなあ。もともと強力な言語を作っておいて、その拡張として出来る方が好ましいんじゃないか。 #ML11 #icfp2011
2011-09-18 09:38:09
Manuel Chakravarty
@TacticalGrace
RT @liyanghu: WGP! #ICFP (@ 国立情報学研究所 (National Institute of Informatics)) http://t.co/AsAjgbrB
2011-09-18 10:02:50
Kenji Rikitake
@jj1bdx
RT @TacticalGrace: ICFP 2011 Day 1 @ NII in Tokyo #icfp http://t.co/mJDVMZCP
2011-09-18 10:43:54
Kenji Rikitake
@jj1bdx
Smoking on the public streets around the venue of #ICFP 2011 is strictly prohibited by law. Violaters will be fined. FYI.
2011-09-18 10:44:49
Liyang HU
@liyanghu
“McBride's (@pigworker) seminal work on datatype ornaments is ideally suited to our purposes.” #WGP #ICFP
2011-09-18 10:52:00
Erlang Workshop
@ErlangWorkshop
RT @kenji_rikitake: Smoking on the public streets around the venue of #ICFP 2011 is strictly prohibited by law. Violaters will be fined. FYI.
2011-09-18 10:57:36
Liyang HU
@liyanghu
This may as well be called the Agda Users Meeting. #WGP #ICFP
2011-09-18 11:33:33
Kenji Rikitake
@jj1bdx
Tropical Storm Roke heading North East - coming over Tokyo on 21st/22nd #ICFP #Erlang http://t.co/YRekEYD4
2011-09-18 12:08:40
Manuel Chakravarty
@TacticalGrace
Extension to Instant Generics @ WGP'11: J Pedro Magalhães & J Jeuring. Generic Programming for Indexed Datatypes. http://t.co/E7RRsF2x #icfp
2011-09-18 12:18:24
Manuel Chakravarty
@TacticalGrace
RT @kenji_rikitake: Smoking on the public streets around the venue of #ICFP 2011 is strictly prohibited by law. Violaters will be fined. FYI.
2011-09-18 12:19:28
Kenji Rikitake
@jj1bdx
今週一週間はICFP/Erlang Workshop 2011に関するtweetを主とします． I will be tweeting about #ICFP events and #Erlang Workshop this week, including local info.
2011-09-18 12:28:47
Kenji Rikitake
@jj1bdx
今週一週間はICFP/Erlang Workshop 2011に関するtweetを主とします． I will be tweeting about #ICFP events and #Erlang Workshop this week, including local info.
2011-09-18 12:28:47
Joseph Wayne Norton
@josephwnorton
RT @kenji_rikitake: 今週一週間はICFP/Erlang Workshop 2011に関するtweetを主とします． I will be tweeting about #ICFP events and #Erlang Workshop this week, including local info.
2011-09-18 13:09:34
MUSTARD SEED
@MAZHAR_ALI
RT @kenji_rikitake: Tropical Storm Roke heading North East - coming over Tokyo on 21st/22nd #ICFP #Erlang http://t.co/YRekEYD4
2011-09-18 13:31:15
Kenji Rikitake
@jj1bdx
I'll be around #ICFP venue from 22-24 SEP. 23rd: the #Erlang Workshop. 22/24: CUFP.
2011-09-18 14:04:05
Liyang HU
@liyanghu
Differentiating dependent polynomial functors! Speaker just name-checked @moleris and @pigworker and the rest of containers gang! #WGP #ICFP
2011-09-18 15:23:58
Liyang HU
@liyanghu
@copumpkin @moleris @pigworker You can correlate the time of my twit to the talk in the #WGP schedule. #ICFP
2011-09-18 15:46:50
Liam O'Connor
@kamatsu8
RT @liyanghu: This may as well be called the Agda Users Meeting. #WGP #ICFP
2011-09-18 16:22:24
Liam O'Connor
@kamatsu8
RT @TacticalGrace: Extension to Instant Generics @ WGP'11: J Pedro Magalhães & J Jeuring. Generic Programming for Indexed Datatypes. http://t.co/E7RRsF2x #icfp
2011-09-18 16:22:50
Liam O'Connor
@kamatsu8
RT @liyanghu: Differentiating dependent polynomial functors! Speaker just name-checked @moleris and @pigworker and the rest of containers gang! #WGP #ICFP
2011-09-18 16:23:49
Manuel Chakravarty
@TacticalGrace
RT @kenji_rikitake: Tropical Storm Roke heading North East - coming over Tokyo on 21st/22nd #ICFP #Erlang http://t.co/YRekEYD4
2011-09-18 16:40:38