Shape Types (1997)

by Pascal Fradet , Daniel Le Metayer
Venue:IN PROC. 24TH ACM POPL
Citations:74 - 5 self