2018年1月10日 -
2018年1月12日
Microsoft Research @ POPL 2018
地点： Los Angeles, CA, USA
Co-hosted Conferences
Co-hosted Workshops
PPS 2018
CoqPL 2018
NetPL 2018
Off the Beaten Track 2018
PEPM 2018
PLMW 2018
PriSC 2018