Annual academic conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
annual academic conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems (en)