type inference - terminology

• To: reddy@cs.uiuc.edu
• Subject: type inference - terminology
• From: meyer@theory.LCS.MIT.EDU (Albert R. Meyer)
• Date: Fri, 10 Nov 89 16:44:13 EST
• Cc: types@theory.LCS.MIT.EDU
• In-Reply-To: "Uday S. Reddy"'s message of Fri, 10 Nov 89 14:47:45 -0600 <8911102047.AA09559@reddy.cs.uiuc.edu>

Like you, my students and I have been using the terminology
			  "type reconstruction"
for ML-style procedures for decorating un- or partially-typed terms
with missing types.

The specification of which terms have which types--usually by some kind of
rules for deriving type-judgements--we call
			   ``type derivation.''

We try to avoid the phrase "type inference" because it seems equally
appropriate for either of the above processes and so causes mix-ups.

Yours truly,
Albert R. Meyer
MIT Lab. for Computer Science

• Prev: type inference - terminology
• Next: type inference - terminology
• Index(es):
  • Main
  • Thread