Profile cover photo
Profile photo
David Van Horn
About
Posts

Post has attachment
Great opportunity for PL students: last chance to apply for a travel grant to attend PLMW @ ICFP 2015.
Add a comment...

Post has attachment

Post has attachment

Post has attachment

Post has attachment
Submit to Off the Beaten Track, New Frontiers for Programming Languages Research, co-located with POPL 2015
Add a comment...

Post has attachment

Post has attachment

Post has attachment
All of the ICFP 2014 videos have been linked to off of the program http://icfpconference.org/icfp2014/program.html
Add a comment...

Post has attachment
My talk on Soft Contract Verification at ICFP, joint work with Phil Nguyen and +Sam Tobin-Hochstadt
Add a comment...

Post has attachment
Last day of early registration for ICFP 2013!
Add a comment...
Wait while more posts are being loaded