[Prev][Next][Index][Thread]

Formal semantics for C++ type inference?

To: types@cis.upenn.edu
Subject: Formal semantics for C++ type inference?
From: Dave Berry <daveb@tardis.ed.ac.uk>
Date: Thu, 27 Dec 2001 12:23:15 +0000

Can anyone refer me to a formal definition of the type inference system for
C++ function templates?

Dave.