Back to Results
First PageMeta Content
Programming language theory / Typedef / Typename / Type safety / Template / Struct / Symbol / Type system / ALGOL 68 / Software engineering / C++ / Computing


A Semantic Analysis of C++ Templates ? Jeremy Siek and Walid Taha ,
Add to Reading List

Document Date: 2006-08-17 16:43:13

Open Document

File Size: 347,08 KB

Share Result on Facebook

OperatingSystem

GNU / /

Position

Isabelle proof assistant / /

ProgrammingLanguage

C++ / /

Technology

inlining algorithm / /

SocialTag