DMCA

A type system for tom (2009)

by Claude Kirchner , Inria Bordeaux , Sud Ouest , Pierre-etienne Moreau , Cláudia Tavares
Venue:In RULE
Citations:3 - 1 self