Types for Hierarchic Shapes

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11693024_1 ◽

2006 ◽

pp. 1-6 ◽

Cited By ~ 3

Author(s):

Sophia Drossopoulou ◽

Dave Clarke ◽

James Noble

Download Full-text