2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List Document Date: 2012-03-13 13:00:12 Open Document File Size: 254,55 KB Share Result on Facebook / Event Product Issues / Product Recall / / Facility Coq library / / IndustryTerm dictionary applications / dictionary search / / Organization Long Island University / self#center / Christopher League / / Person Shao et al. Typed / Stefan Monnier / Moby / / / Position language designer / Fisher / Coq Proof Assistant / / Product Class representation / / ProgrammingLanguage C / Java / C++ / / ProvinceOrState Illinois / / Technology caching / Java / / SocialTag Proof theory Models of computation Logic in computer science Symbol Lambda calculus Curry–Howard correspondence Dynamical system Theoretical computer science Computer science Mathematics

2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List