| Document Date: 2006-07-19 04:40:31 Open Document File Size: 209,00 KBShare Result on Facebook
City Edinburgh / / Company Dell / / Currency pence / / Facility Andrew W. Appel Princeton University / / IndustryTerm theorem-proving systems / mechanized metatheory systems / / OperatingSystem Linux / / Organization Princeton University / / Person Leroy Therefore / Andrew W. Appel / Xavier Leroy / Leroy Writing / Leroy Operational / / Position author / assistant / head / interpreter / / ProgrammingLanguage Haskell / LATEX / ML / Prolog / Java / / Technology alpha / functional programming / dom / Java / Linux / ascii / / URL www.elsevier.nl/locate/entcs / /
SocialTag |