3.20.2 -- Type variables

0 views

Skip to first unread message

Steven Nay

unread,

Nov 23, 2010, 6:28:21 PM11/23/10

to CS 330 mailing list

Is "annotating each expression with an appropriate type variable" the same process as described in problem 1? That is, labeling each subexpression with a circled/boxed superscripted number and using "type variables," such as alpha and beta, to label the free variables in a type expression.

Steve Nay

Jay McCarthy

unread,

Nov 23, 2010, 7:48:43 PM11/23/10

to byu-cs-330...@googlegroups.com, CS 330 mailing list

Yes

Sent from my iPhone

Reply all

Reply to author

Forward

0 new messages