Back to Results
First PageMeta Content
Logic in computer science / Type theory / Deduction / Automated theorem proving / Formal methods / Twelf / Symbol / Proof assistant / POPLmark challenge / Logic / Theoretical computer science / Mathematical logic


LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt
Add to Reading List

Document Date: 2006-07-19 04:40:31


Open Document

File Size: 209,00 KB

Share 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