Top Tweets for #ICFP2016

Masahiro Sakai @masahiro_sakai

over 7 years ago

これ多分、発表タイトルを前の発表の Higher-Order Ghost State に間違えてて、実際は次の発表の Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data についての話だったと思う。 #ICFP2016

0

2

1

0

0

over 8 years ago

We're celebrating #dayofthegirlchild with @IYAFP’s original song, “Girls,” which debuted at #ICFP2016! @UNFPA https://t.co/jUARvIQ0Oo

the_ICFP's tweet photo. We're celebrating #dayofthegirlchild with @IYAFP’s original song, “Girls,” which debuted at #ICFP2016! @UNFPA https://t.co/jUARvIQ0Oo https://t.co/jQS4ZByj9Q

1

10

10

0

0

Oying Rimon @OyingRimon

about 9 years ago

Hats off to Fayeeza Naqvi, winner of #ICFP2016 Global Humanitarian Award, for her life-saving work! https://t.co/0tESMupmlp @Aman_Foundation

0

2

1

0

0

about 9 years ago

@BolajiMargaret, who delivered inspiring and impassioned remarks at #ICFP2016, is featured on #FPVoices today! https://t.co/U5IAMjL9uO

Knowledge SUCCESS @fprhknowledge

about 9 years ago

"She is unable to become the doctor she wants to be & in the end, the children inherit the same problem." #FPVoices https://t.co/kutJi9o3xA

fprhknowledge's tweet photo. "She is unable to become the doctor she wants to be & in the end, the children inherit the same problem." #FPVoices https://t.co/kutJi9o3xA https://t.co/t7AL1MnhbW

0

3

1

0

0

0

3

1

0

0

@[email protected] @raichoo

over 9 years ago

For the curious: SequentCore was presented at #icfp2016 and it's really cool. https://t.co/P9Zwz5cyBQ https://t.co/bEy18qTSXB #haskell

0

9

3

0

0

'(dave yarwood) @dave_yarwood

over 9 years ago · North Carolina

Here's a talk I gave about #aldalang at #FARM2016 / #ICFP2016 in Nara, Japan: https://t.co/lk1pOM7KBP

0

2

0

0

0

FARM Workshop @WorkshopFARM

over 9 years ago

Videos from the #WorkshopFARM2016 / #ICFP2016 performance evening are also up! @icfp_conference https://t.co/ZP0F2x5IsD

0

2

2

0

0

Jim Tittsler @jtittsler

over 9 years ago

Videos from #ICFP2016 @WorkshopFARM are up. This one on Klangmeister shows off a "live" #ClojureScript https://t.co/P9YR6UvyDr

0

4

4

0

0

S (ﾂｲｰﾄはﾂﾘｰ全体をご確認ください)

over 9 years ago

#ICFP2016 #ICFP program/abstracts/links to papers https://t.co/LbaAA2DlXs videos https://t.co/xrB6aD4UjH tweets https://t.co/ooeK0Ah2IM

1

1

1

0

0

Masahiro Sakai @masahiro_sakai

over 9 years ago

#ICFP2016 の Datafun: A Functional Datalog https://t.co/Ww2LvPY7ke… https://t.co/PC0XEd8BKF

0

2

0

0

0

Lennart Kolmodin @kolmodin

over 9 years ago

CUFP 2016 now online: https://t.co/0EcL9xh8ur #icfp2016

1

16

6

0

0

Lennart Kolmodin @kolmodin

over 9 years ago

The Haskell Implementors Workshop 2016 videos are online! ❤ #icfp2016 https://t.co/Fxz29oDr8S

0

53

28

0

0

over 9 years ago

New story on #SayanaPress by @hlmacmillen, supported by #ICFP2016 press flwshp from @unfoundation https://t.co/3grhSNigc2

0

2

2

0

0

over 9 years ago

Watch @PRBdata's new video on the importance of youth involvement in the policy process, w/ footage from #ICFP2016 ! https://t.co/s9tKi4l9WF

0

3

2

0

0

Dad×3_jack @Iceland_jack

almost 10 years ago

Free Delivery (https://t.co/8YIplfh8f1, https://t.co/26eF08LzuU) #ICFP2016

0

0

0

0

0

@[email protected] @raichoo

almost 10 years ago

Here is the hackage link https://t.co/E9Bi14fVBS #fitspec #haskell #icfp2016

0

2

0

0

0

@[email protected] @raichoo

almost 10 years ago

One of my favorite #icfp2016 talks by @admitscut "A Functional Programmer's Guide to Homotopy Type Theory" https://t.co/emGSNp1oal

0

13

4

0

0

Chung-chieh Shan 單中杰 @ccshan

almost 10 years ago

"Deriving a probability density calculator", Wazim's talk about our functional pearl at #ICFP2016. https://t.co/BWa9uBEna5

0

6

2

0

0

Daniel Szmulewicz / @[email protected] @danielszmu

almost 10 years ago

#Clojure's interactive story (or ghosts in the machine). The video of my talk is up. @ Scheme workshop, #ICFP2016. https://t.co/EzzSXm7igN

0

5

1

0

0

@[email protected] @raichoo

almost 10 years ago

@trupill There is of course mirageos and @h4nnes presented some cool stuff on securing OPAM at #icfp2016.

0

1

0

0

0

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users