IFL 2014 (@IFL_2014) profile picture

IFL 2014

@IFL_2014

The 26th Symposium on the Implementation and Application of Functional Languages. Oct 1-3, 2014. Northeastern University.

 Boston, MA
ifl2014.github.io
Joined April 2014
  • Tweets22
  • Following9
  • Followers24
1Media
Photo by IFL 2014 (@IFL_2014)
Thanks to everyone for a fantastic #ifl2014. See you in Koblenz next year!
1
2
"It's a left adjoint, or it's a right adjoint ... maybe it's a chicken" @sclv at #ifl2014
1
1
How can you tell #ifl2014 is hosted in Boston? There is a @DunkinDonuts within two blocks in *each* cardinal direction of the meeting room.
1
3
The Peter Landin award for best paper at IFL 2013 goes to Measuring the Haskell Gap, by Petersen/Anderson/Liu/Glew.
2
1
IFL web page mirror available at ccs.neu.edu/home/asumu/ifl20… if you can't get to GitHub.
@nikomatsakis presenting #rustlang at #ifl2014
Image from Lars Bergstrom (@larsberg_)
2
1
Tero Hasu gave a talk at @IFL_2014 about source-to-source compilation in Racket ifl2014.github.io/submission…
Image from Racket (& Rhombus) (@racketlang)
4
1
Expertly executed presentation on adding quasiquotation to a reflection-based theorem prover #ifl2014 #idris
1
IFL 2014 retweeted
Edward Kmett (@kmett) profile picture
Edward Kmett
@kmett1 Oct 2014
I'll be at @IFL_2014 in Boston for the rest of the week.
1
1
Ready to go!
Image from IFL 2014 (@IFL_2014)
1
2
Excited to be in Boston for @IFL_2014!
1
2
Pre-proceedings for IFL 2014 now online, as well as individual papers: ifl2014.github.io/ifl-pre-pr… (big pdf). A few tickets are still available!
1
7
3
The IFL 2014 Schedule is up, and it looks great: ifl2014.github.io/#schedule
1
1
Remember to register for IFL 2014: eventbrite.com/e/ifl-2014-ti…
1
Hey, the line-up at @IFL_2014 looks great! ifl2014.github.io/
2
1
Congrats to Hacker Schooler @arntzenius for getting his paper on Moxy accepted for @IFL_2014! ifl2014.github.io/#accepted-…
2
2
IFL 2014 accepted papers now available: ifl2014.github.io/ Going to be a great conference! See you in Boston.
1
10
7
A little over 12 hours left to get your submissions in to IFL 2014! ifl2014.github.io/ timeanddate.com/countdown/ge…
1
The IFL 2014 invited talk will be given by Niko Matsakis @nikomatsakis of Mozilla Research.
2
2
The IFL 2014 submission deadline has been delayed to September 8, anywhere on earth. Be sure to get your papers in! ifl2014.github.io/
4
3
Load more