36 search results - page 8 / 8 » Feature Logic with Disjunctive Unification |
DLS
2008
13 years 6 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...