User loginNavigation 
Role of Types in Evaluation StrategyIt seems to me that most evaluation strategies are type independent. In other words the evaluation rules are independent of the types yielded by subexpressions. Is this always the case? What if we were to write an operational semantics that depended on the type of subexpressions? Is that a strange thing to do? For example:
Any help would be much appreciated! By cdiggins at 20080319 16:28  LtU Forum  previous forum topic  next forum topic  other blogs  4939 reads

Browse archivesActive forum topics 
Recent comments
5 hours 30 min ago
6 hours 54 min ago
8 hours 22 min ago
9 hours 32 min ago
10 hours 13 min ago
13 hours 1 min ago
14 hours 5 min ago
16 hours 25 min ago
21 hours 57 min ago
23 hours 10 min ago