Modelling environments in call-by-value programming languages (2003)

by Paul Blain Levy , John Power , Hayo Thielecke
Citations:16 - 4 self