A Featherweight Approach to FOOL
No abstract available.
Related papers
- Guest editorial TOPLAS 2002
- The vampire and the FOOL CPP 2016
- Featherweight TeX and Parser Correctness SLE 2010
- PType System: A Featherweight Parallelizability Detector APLAS 2004
- Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance CPP 2011
- Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes ECOOP 2009
- Featherweight transactions: decoupling threads and atomic blocks PPoPP 2007
- A Dictionary-Passing Translation of Featherweight Go APLAS 2021