ICESS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...