Featherweight TeX and Parser Correctness
No abstract available.
Related papers
- A Functional Description of TEX's Formula Layout JFP 1997
- Featherweight generic confinement JFP 2006
- Featherweight X10: a core calculus for async-finish parallelism PPoPP 2010
- A Featherweight Approach to FOOL ECOOP 2011
- 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