Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
Browse the full ICALP paper archive.