From ECOOP'87 to ECOOP 2006 and Beyond
No abstract available.
Related papers
- Characterizing Type Feedback in Just-In-Time Compilation ECOOP 2026
- Communication as Fair Distribution of Knowledge OOPSLA 1991
- Editorial JFP 2008
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes CAV 2007
- Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141 JFP 2009
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi JFP 2021
- Evolving a language in and for the real world: C++ 1991-2006 HOPL 2007
- Preface JFP 2009