| Document Date: 2006-10-27 11:28:34
Open Document File Size: 276,69 KBShare Result on Facebook
City Nice / / Company B In / / Country France / / / Event Product Issues / Product Recall / / Facility Store Typing Preservation / / IndustryTerm labeled transition systems / type systems / bank / transition systems / modal operator / / Organization Princeton University / National Science Foundation / / Person Wells / Barr / Henry Ford / Christopher D. Richards / / Position Kripke model for mutable references / Model / General / / Product def / Kripke / / ProgrammingLanguage ML / Java / / Technology dom / Java / / URL http /
SocialTag |
A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es