Introduction to the Special Issue on ESOP 2018
Abstract
No abstract available.
Related papers
- Introduction to special ESOP'05 issue TOPLAS 2007
- Introduction to the Special Issue on ESOP 2021 TOPLAS 2022
- Introduction to the Special Section on ESOP 2020 TOPLAS 2021
- Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming JFP 2004
- Introduction JFP 2006
- Special Delivery: Programming with Mailbox Types ICFP 2023
- Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8 TOPLAS 2018
- JFP special issue on program calculation JFP 2025