POPL 2014 proceedings are available for freepopl.mpi-sws.org1 point·drp4929··0 commentsOpen articleSaveView on HN